Improved Exact Algorithms for MAX-SAT.

Jianer Chen, Iyad A. Kanj

Browse the full LATIN paper archive.