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

Grants

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.