@inproceedings{CM06,
title = { Fast and Flexible Difference Constraint Propagation for {DPLL(T)} },
author = {Cotton, Scott and Maler, Oded},
year = {2006},
booktitle = {SAT 2006},
pages = {170-183},
publisher = {Springer},
series = {LNCS},
volume = {4121},
team = {TEMPO},
}
