Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.

Jeremias Berg, Matti Jrvisalo

Browse the full JELIA paper archive.