Reduced Cost Fixing for Maximum Satisfiability.

Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko

Browse the full IJCAI paper archive.