Set bounds and (Split) set domain propagation using ROBDDs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3339, Issue , 2004, Pages 706-717

  Hawkins, Peter ^a   Lagoon, Vitaly ^a   Stuckey, Peter J ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BOOLEAN ALGEBRA; CONSTRAINT THEORY; DECISION THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

BINARY DECISION DIAGRAM; BOOLEAN OPERATORS; CONSTRAINT PROPAGATION; SET DOMAIN PROPAGATION;

SET THEORY;

EID: 22944451152     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30549-1_61     Document Type: Conference Paper

References (10)

1. F. Azevedo. Constraint Solving over Multi-valued Logics. PhD thesis, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2002.
2. R. Bagnara. A reactive implementation of Pos using ROBDDs. In Procs. of PLILP, volume 1140 of LNCS, pages 107-121. Springer, 1996.
3. R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv., 24(3):293-318, 1992. ISSN 0360-0300. doi: http://doi.acm.org.mate.lib.unimelb.edu.au/10.1145/136035.136043.
4. C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3):191-246, 1997.
5. IC-PARC. The ECLiPSe constraint logic programming system. [Online, accessed 31 May 2004], 2003. URL http://www.icparc.ic.ac.uk/eclipse/.
6. V. Lagoon and P. Stuckey. Set domain propagation using ROBDDs. In M. Wallace, editor, Procs. of the 8th Int. Conf. on Constraint Programming, LNCS, page to appear. Springer-Verlag, 2004. Also at http://www.cs.mu.oz.au/~pjs/ papers/cp04-setdom.ps.
7. J.-P. Puget. PECOS: a high level constraint programming language. In Proceedings of SPICIS'92, Singapore, 1992.
8. F. Somenzi. CUDD: Colorado University Decision Diagram package. [Online, accessed 31 May 2004], Feb. 2004. http://vlsi.colorado.edu/~fabio/CUDD/.
9. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17-64, 1996.
10. J. H. van Lint and R. M. Wilson. A Course in Combinatorics. Cambridge University Press, 2nd edition, 2001.