Core-Guided Linear Programming-Based Maximum Satisfiability.

George Katsirelos

Browse the full SAT paper archive.