Constantinos Bartzis Tevfik Bultan Efficient BDDs for bounded arithmetic constraints. 26-36 2006 8 STTT 1 http://dx.doi.org/10.1007/s10009-004-0171-8 db/journals/sttt/sttt8.html#BartzisB06