Upper Bounds for MaxSat: Further Improved.

Nikhil Bansal, Venkatesh Raman

Browse the full ISAAC paper archive.