Skip to content

Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.

Jordi Planes

VenueACP
Year2003
ProceedingsCP

Browse the full CP paper archive.