Speeding up the Constraint-Based Method in Difference Logic.

Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio

Browse the full SAT paper archive.