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

by S Cotton, O Maler
Venue:In SAT, volume 4121 of LNCS