Journal article

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


Funding Acknowledgements

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.