Maintaining generalized arc consistency on ad hoc r-ary constraints

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

Volumn 5202 LNCS, Issue , 2008, Pages 509-523

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

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ARC CONSISTENCIES; CONSTANT TIMES; DECISION DIAGRAMS; EXPONENTIAL MEMORIES; MEMORY EFFICIENT; SPARSE SETS; STRUCTURED PROBLEMS; SUPPORT SEARCHES; UP WELLS;

AD HOC NETWORKS; BOOLEAN FUNCTIONS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DATA STRUCTURES; FILE ORGANIZATION;

GRANULAR MATERIALS;

EID: 56449103759     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85958-1_34     Document Type: Conference Paper

References (15)

1. Beldiceami, N., Contejean, E.: Introducing global constraints in CHIP. Journal of Mathematical and Computer Modelling 20(12), 97-123 (1994)
2. Gent. I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalized arc consistency for extensional constraints. In: National Conference on Artificial Intelligence (2007)
3. Lecoutre, C., Szymanek, R.: Generalized arc consistency for positive table constraints. In: International Conference on Principles and Practice of Constraint Programming, pp. 284-298 (2006)
4. Lhomme, O., Régin, J.C.: A fast arc consistency algorithm for n-ary constraints. In: National Conference on Artificial Intelligence, pp. 405-410 (2005)
5. Bessière, G, Régin, J.C.: Arc consistency for general constraint networks: preliminary results. In: International Joint Conference on Artificial Intelligence, pp. 398-404 (1997)
6. Srinfvasan, A., Kam, T., Malik, S., Brayton, R.: Algorithms for discrete function manipulation. In: Computer Aided Design, pp. 92-95 (1990)
7. Carlsson, M.: Filtering for the case constraint. Talk given at Advanced School on Global Constraints (2006)
8. Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad-hoc n-ary boolean constraints. In: European Conference on Artificial Intelligence, pp. 78-82 (2006)
9. Briggs, P., Torczon, L.: An efficient representation for sparse sets. ACM Letters on Programming Languages and Systems 2(1-4), 59-69 (1993)
10. Mackworth, A.K.: On reading sketch maps. In: International Joint Conference on Artificial Intelligence, pp. 598-606 (1977)
11. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp. 35(8), 667-691 (1986)
12. Lhomme, O.: Arc-consistency filtering algorithm for logical combinations of constraints. In: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 209-224 (2004)
13. Pesant, G.: A regular language membership constraint for finite sequences of variables. In: International Conference on Principles and Practice of Constraint Programming, pp. 482-495 (2004)
14. Cheng, K.C.K., Yap, R.H.C: Applying ad-hoc global constraints with the case constraint to Still-life. Constraints 11(2-3), 91-114 (2006)
15. van Hoeve, W.J., Pesant, G., Rousseau, L.M., Sabharwal, A.: Revisiting the sequence constraint. In: International Conference on Principles and Practice of Constraint Programming, pp. 620-634 (2006)