An approximation algorithm for Max-2-SAT with cardinality constraint (0)

by Thomas Hofmeister
Venue:Proc. of the 11th Ann. European Symp. on Algorithms (ESA