Accumulating Pruning Constraints: New Exact Polynomial-Space Algorithms for Max 2-SAT

Sign in to join the discussion — your thebay.events account works here.