Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT

By J. Berg, Paul Saikko, Matti Järvisalo. 2015

16 citations recorded by the source corpus.