Set domain propagation using ROBDDs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3258, Issue , 2004, Pages 347-361

  Lagoon, Vitaly ^a   Stuckey, Peter J ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; SET THEORY;

FINITE SET; LOWER BOUNDS; REDUCED ORDERED BINARY DECISION DIAGRAM; SET CONSTRAINTS; SET DOMAIN PROPAGATION; SET VARIABLES; UPPER BOUND;

BINARY DECISION DIAGRAMS;

EID: 31144465124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_27     Document Type: Article

References (14)

1. F. Azevedo and P. Barahona. Modelling digital circuits problems with set constraints. In Proceedings of the 1st International Conference on Computational Logic, volume 1861 of LNCS, pages 414-428. Springer-Verlag, 2000.
2. C. Bessiére and J.-C. Régin. Arc consistency for general constraint networks: preliminary results. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), pages 398-404, 1997.
3. R. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
4. http://vlsi.colorado.edu/∼fabio/CUDD/.
5. 5. http://www.icparc.ic.ac.uk/eclipse/.
6. C. Gervet. Interval propagation to reason about sets: Definition and implenentation of a practical language. Constraints, 1(3):191-244, 1997.
7. T. P. Kirkman. On a problem in combinatorics. Cambridge and Dublin Math. Journal, pages 191-204, 1847.
8. Z. Kiziltan. Symmetry Breaking Ordering Constraints. PhD thesis, Uppsala University, 2004.
9. K. Marriott and P. J. Stuckey. Programming with Constraints: an Introduction. The MIT Press, 1998.
10. T. Müller. Constraint Propagation in Mozart. PhD thesis, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik, 2001.
11. J.-F. Puget. PECOS: A high level constraint programming language. In Proceedings of SPICIS'92, 1992.
12. A. Sadler and C. Gervet. Global reasoning on sets. In FORMUL'01 workshop on modelling and problem formulation, 2001.
13. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. JLP, 29(1-3):17-64, 1996.
14. P. Van Hentenryck, V. Saraswat, and Y. Deville. Design, implementation, and evaluation of the constraint language cc(FD). JLP, 37(1-3):139-164, 1998.