Maximum Satisfiability Using Cores and Correction Sets.

Nikolaj S. Bjrner, Nina Narodytska

Browse the full IJCAI paper archive.