Symbolic Conflict Analysis in Pseudo-Boolean Optimization.

Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao

Browse the full SAT paper archive.