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

by Scott Cotton , Oded Maler
Venue:IN PROC. SAT, VOLUME 4121 OF LNCS
Citations:22 - 1 self