Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis.

Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns

Browse the full SAT paper archive.