FastSet BoundsPropagation Usinga BDD-SATHybrid.pdfVIP

Journal of Artificial Intelligence Research 38 (2010) 307-338 Submitted 01/10; published 06/10 Fast Set Bounds Propagation Using a BDD-SAT Hybrid Graeme Gange ggange@.au Peter J. Stuckey pjs@.au National ICT Australia, Victoria Laboratory Department of Computer Science and Software Engineering The University of Melbourne, Vic. 3010, Australia Vitaly Lagoon lagoon@ Cadenc