Show simple item record

dc.contributor.authorGange, G
dc.contributor.authorStuckey, PJ
dc.contributor.authorLagoon, V
dc.date.available2014-05-21T22:51:50Z
dc.date.issued2010-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000280365600002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationGange, G., Stuckey, P. J. & Lagoon, V. (2010). Fast Set Bounds Propagation Using a BDD-SAT Hybrid. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 38, pp.307-338. https://doi.org/10.1613/jair.3014.
dc.identifier.issn1076-9757
dc.identifier.urihttp://hdl.handle.net/11343/29302
dc.description.abstractBinary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques in- cur the significant overhead of constructing and manipulating graphs during search. We present a set-constraint solver which combines BDD-based set-bounds propagators with the learning abilities of a modern SAT solver. Together with a number of improvements beyond the basic algorithm, this solver is highly competitive with existing propagation based set constraint solvers.
dc.languageEnglish
dc.publisherAI ACCESS FOUNDATION
dc.subjectArtificial Intelligence and Image Processing
dc.titleFast Set Bounds Propagation Using a BDD-SAT Hybrid
dc.typeJournal Article
dc.identifier.doi10.1613/jair.3014
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleJournal of Artificial Intelligence Research
melbourne.source.volume38
melbourne.source.pages307-338
dc.description.pagestart307
melbourne.publicationid146570
melbourne.elementsid323777
melbourne.contributor.authorGange, Graeme
melbourne.contributor.authorStuckey, Peter
melbourne.contributor.authorLAGOON, VITALY
dc.identifier.eissn1943-5037
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record