Maintaining generalized arc consistency on Ad-hoc n-ary boolean constraints

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 78-82

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

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS;

AD HOC CONSTRAINTS; ARC-CONSISTENCY ALGORITHMS; BOOLEAN CONSTRAINT; BOOLEAN DOMAIN; GENERALIZED ARC CONSISTENCIES; GLOBAL CONSTRAINTS; SICSTUS PROLOG;

BINARY DECISION DIAGRAMS;

EID: 84886069131     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (18)

1. R. Barták, 'Filtering algorithms for tabular constraints', in Colloqium on Implementation of Constraint and Logic Programming Systems (CICLOPS), pp. 168-182, (2001).
2. N. Beldiceanu, 'Global constraints as graph properties on structured networks of elementary constraints of the same type', TR T2000-01, SICS, (2000).
3. C. Bessìere and J.-C. R̀egin, 'Arc consistency for general constraint networks: Preliminary results', in IJCAI, pp. 398-404, (1997).
4. C. Bessìere and J.-C. R̀egin, 'Local consistency on conjunctions of constraints', in ECAI'98 Workshop on Non-binary Constraints, pp. 53-59, (1998).
5. R. E. Bryant, 'Graph-based algorithms for Boolean function manipulation', IEEE Trans. on Comp., 35(8), 667-691, (1986).
6. K. C. K. Cheng, J. H. M. Lee, and P. J. Stuckey, 'Box constraint collections for adhoc constraints', in CP, pp. 214-228, (2003).
7. K. C. K. Cheng and R. H. C. Yap, 'Ad-hoc global constraints for Life', in CP, pp. 182-195, (2005).
8. K. C. K. Cheng and R. H. C. Yap, 'Constrained decision diagrams', in AAAI, pp. 366-371, (2005).
9. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, The MIT Press, 1999.
10. T.B.H. Dao, A. Lallouet, A. Legtchenko, and L. Martin, 'Indexicalbased solver learning', in CP, pp. 541-555, (September 2002).
11. R. Dechter, 'Learning while searching in constraint satisfaction problems', in AAAI, pp. 178-185, (1986).
12. P. J. Hawkins, V. Lagoon, and P. J. Stuckey, 'Solving set constraint satisfaction problems using ROBDDs', JAIR, 24, 109-156, (2005).
13. P. D. Hubbe and E. C. Freuder, 'An efficient cross product representation of the constraint satisfaction problem search space', in AAAI, pp. 421-427, (1992).
14. O. Lhomme and J.-C. R̀egin, 'A fast arc consistency algorithm for n-ary constraints', in AAAI, (2005).
15. C. Likitvivatanavong, Y. Zhang, J. Bowen, and E. C. Freuder, 'Arc consistency in MAC: A new perspective', in 1st Intl. Workshop on Constraint Propagation and Implementation, (2004).
16. A. K. Mackworth, 'On reading sketch maps', in IJCAI, pp. 598-606, (1977).
17. Swedish Institute of Computer Science, SICStus Prolog User's Manual.
18. E. van der Meer and H. R. Andersen, 'BDD-based recursive and conditional modular interactive product configuration', in CSPIA Workshop, pp. 112-126, (2004).