Vitaly Lagoon Peter J. Stuckey Set Domain Propagation Using ROBDDs. 347-361 http://dx.doi.org/10.1007/978-3-540-30201-8_27 2004 conf/cp/2004 CP db/conf/cp/cp2004.html#LagoonS04