R. Kohli;R. Krishnamurti
-;-
Improved approximation algorithms for MAX SAT
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Journal of Algorithms
Pseudo-boolean optimization
Discrete Applied Mathematics