Incremental Maximum Satisfiability.

Andreas Niskanen, Jeremias Berg, Matti Jrvisalo

Browse the full SAT paper archive.