Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.

Jeremias Berg, Paul Saikko, Matti Jrvisalo

Browse the full IJCAI paper archive.