Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Graeme Gange, Peter J Stuckey, Vitaly Lagoon
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | AI ACCESS FOUNDATION | Published : 2010
Part of this work was published previously (Gange, Lagoon, & Stuckey, 2008). NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council.