Speeding up Pseudo-Boolean Propagation.

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

Browse the full SAT paper archive.