Constrained decision diagrams

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2005, Pages 366-371

  Cheng, Kenil C K ^a   Yap, Roland H C ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA STRUCTURES;

CONSTRAINED DECISION DIAGRAM (CDD); CONSTRAINT PROPAGATION; ZBDD REPRESENTATIONS;

DECISION THEORY;

EID: 29344433287     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Apt, K., and Monfroy, E. 1999. Automatic generation of constraint propagation algorithms for small finite domains. In Principles and Practice of Constraint Programming, 58-72.
2. Barták, R. 2001. Filtering algorithms for tabular constraints. In Colloqium on Implementation of Constraint and Logic Programming Systems (CICLOPS), 168-182.
3. Bryant, R. E. 1986. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp. 35(8):667-691.
4. Cheng, C. K.; Lee, J. H. M.; and Stuckey, P. J. 2003. Box constraint collections for adhoc constraints. In Principles and Practice of Constraint Programming, 214-228.
5. Dao, T.; Lallouet, A.; Legtchenko, A.; and Martin, L. 2002. Indexical-based solver learning. In Principles and Practice of Constraint Programming, 541-555.
6. Debruyne, R., and Bessière, C. 1997. Some practicable filtering techniques for the constraint satisfaction problem. In IJCAI, 412-417.
7. Hubbe, P. D., and Freuder, E. C. 1992. An efficient cross product representation of the constraint satisfaction problem search space. In AAAI, 421-427.
8. Møller, J.; Lichtenberg, J.; Andersen, H. R.; and Hulgaard, H. 1999. Difference decision diagrams. In Comp. Sci. Logic.
9. Okuno, H.; Minato, S.; and Isozaki, H. 1998. On the properties of combination set operations. Information Processing Letters 66:195-199.
10. Srinivasan, A.; Kam, T.; Malik, S.; and Brayton, R. 1990. Algorithms for discrete function manipulation. In Intl. Conf. on CAD, 92-95.
11. van der Meer, E., and Andersen, H. R. 2004. Bdd-based recursive and conditional modular interactive product configuration. In CSPIA Workshop, 112-126.
12. Weigel, R., and Faltings, B. 1999. Compiling constraint satisfaction problems. Art. Intell. 115(2):257-287.