Fast and Flexible Difference Constraint Propagation for DPLL(T (2006)

by S Cotton, O Maler
Venue:9th International Conference on Theory and Applications of Satisfiability Testing, SAT’06