Accumulating Pruning Constraints: New Exact Polynomial-Space Algorithms for Max 2-SAT
Pruning constraints give faster exact Max 2-SAT algorithms.
Explainer · on the wire
The explainer for this story is still on the wire.
The claim, the mechanism, and the figures land here once generated.
Source · arXiv