An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Constraints

Volumn 15, Issue 2, 2010, Pages 265-304

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

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Ad hoc constraint; Generalized arc consistency; Global constraint; Multi valued decision diagram; Negative constraint; Positive constraint; Table constraint

Indexed keywords

ARC CONSISTENCY; ARC-CONSISTENCY ALGORITHMS; CAR SEQUENCING; CONSTANT TIME; GLOBAL CONSTRAINTS; MULTI-VALUED DECISION DIAGRAMS; NEGATIVE CONSTRAINTS; SPACE AND TIME; STRUCTURED PROBLEMS; TIME COMPLEXITY;

ALGORITHMS;

DECISION TABLES;

EID: 77954762823     PISSN: 13837133     EISSN: 15729354     Source Type: Journal    
DOI: 10.1007/s10601-009-9087-y     Document Type: Conference Paper

References (27)

1. Beldiceanu, N., & Contejean, E. (1994). Introducing global constraints in CHIP. Journal of Mathematical and Computer Modelling, 20(12), 97-123.
2. Bessière, C., & Régin, J.-C. (1997). Arc consistency for general constraint networks: Preliminary results. In International joint conference on artificial intelligence (pp. 398-404).
3. Bessière, C., & Régin, J.-C. (1999). Enforcing arc consistency on global constraints by solving subproblems on the fly. In International Conference on Principles and Practice of Constraint Programming (pp. 103-117).
4. Bessière, C., Régin, J.-C., Yap, R. H. C., & Zhang, Y. (2005). An optimal coarse-grained arc consistency algorithm. Artificial Intelligence, 165(2), 165-185.
5. Bollig, B., & Wegener, I. (1996). Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers, 45(9), 993-1002.
6. Briggs, P., & Torczon, L. (1993). An efficient representation for sparse sets. ACM Letters on Programming Languages and Systems, 2(1-4), 59-69.
7. Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 667-691.
8. Carlsson, M. (2006). Filtering for the case constraint. Talk given at Advanced School on Global Constraints.
9. Carlsson, M., et al. (2005). SICStus Prolog User's Manual. Swedish Institute of Computer Science, release 3.12.3 ed. http://www.sics.se/sicstus/.
10. Cheng, K. C. K., & Yap, R. H. C. (2006a). Applying ad-hoc global constraints with the case constraint to Still-life. Constraints, 11(2-3), 91-114.
11. Cheng, K. C. K., & Yap, R. H. C. (2006b). Maintaining generalized arc consistency on ad-hoc n-ary boolean constraints. In European conference on artificial intelligence (pp. 78-82).
12. Cheng, K. C. K., & Yap, R. H. C. (2008). Maintaining generalized arc consistency on ad hoc r-ary constraints. In International conference on principles and practice of constraint programming (pp. 509-523).
13. Dincbas, M., Simonis, H., & van Hentenryck, P. (1988). Solving the car-sequencing problem in constraint logic programming. In European conference on artificial intelligence (pp. 290-295).
14. Eén, N., & Sörensson, N. (2006). Translating pseudo-boolean constraints into SAT. Journal on Satisiability, Boolean Modeling and Computation, 2, 1-26.
15. Gent, I. P., Jefferson, C., Miguel, I., & Nightingale, P. (2007). Data structures for generalized arc consistency for extensional constraints. In National conference on artificial intelligence.
16. Guy, R., Conway, J. H., & Berlekamp, E. (1982). Winning ways: for your mathematical plays (Vol. 2). London: Academic Press.
17. Katsirelos, G., & Walsh, T. (2007). A compression algorithm for large arity extensional constraints. In International conference on principles and practice of constraint programming (pp. 379-393).
18. Lecoutre, C. (2008). Optimization of simple tabular reduction for table constraints. In International conference on principles and practice of constraint programming (pp. 128-143).
19. Lecoutre, C., & Szymanek, R. (2006). Generalized arc consistency for positive table constraints. In International conference on principles and practice of constraint programming (pp. 284-298).
20. Lhomme, O. (2004). 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).
21. Lhomme, O., & Régin, J.-C. (2005). A fast arc consistency algorithm for n-ary constraints. In National conference on artificial intelligence (pp. 405-410).
22. Mackworth, A. K. (1977). On reading sketch maps. In International joint conference on artificial intelligence (pp. 598-606).
23. Pesant, G. (2004). A regular language membership constraint for finite sequences of variables. In International conference on principles and practice of constraint programming (pp. 482-495).
24. Srinivasan, A., Kam, T., Malik, S., & Brayton, R. (1990). Algorithms for discrete function manipulation. In Computer aided design (pp. 92-95).
25. Ullmann, J. R. (2007). Partition search for non-binary constraint satisfaction. Information Science, 177, 3639-3678.
26. van Hoeve, W.-J., Pesant, G., Rousseau, L.-M., & Sabharwal, A. (2006). Revisiting the sequence constraint. In International conference on principles and practice of constraint programming (pp. 620-634).
27. Xu, K., Boussemart, F., Hemery, F., & Lecoutre, C. (2005). A simple model to generate hard satisfiable instances. In International joint conference on artificial intelligence (pp. 337-342).