Study of lower bounds for max-2-sat (2004)

by H Shen, H Zhang
Venue:in: Proceedings of the 19th AAAI