Encoding table constraints in CLP(FD) based on Pair-Wise AC

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

Volumn 5649 LNCS, Issue , 2009, Pages 402-416

  Zhou, Neng Fa ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION RULES; ARC CONSISTENCY; BINARIZATIONS; BINARY CONSTRAINTS; BIT-VECTOR REPRESENTATION; COMPACT REPRESENTATION; FINITE DOMAINS; FINITE-DOMAIN VARIABLES; RELATED VARIABLES;

CAVITY RESONATORS; ENCODING (SYMBOLS); GRANULAR MATERIALS; LOGIC PROGRAMMING;

FINITE DIFFERENCE METHOD;

EID: 69949117322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02846-5_33     Document Type: Conference Paper

References (17)

1. Bacchus, F., Chen, X., van Beek, P., Walsh, T.: Binary vs. non-binary constraints. Artif. Intell. 140(1/2), 1-37 (2002)
2. Bessière, C., Régin, J.-C.: Arc consistency for general constraint networks: Preliminary results. In: IJCAI (1), pp. 398-404 (1997)
3. Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad hoc r-ary constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 509-523. Springer, Heidelberg (2008)
4. Demoen, B., Nguyen, P.-L.: Two WAM implementations of action rules. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 621-635. Springer, Heidelberg (2008)
5. Freuder, E.C.: Synthesizing constraint expressions. Commun. ACM 21(11), 958-966 (1978)
6. Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: AAAI, pp. 191-197 (2007)
7. Hebrard, E.: Mistral, a constraint satisfaction library. In: van Dongen, M.R.C., Lecoutre, C., Roussel, O. (eds.) Proceedings of the Second International CSP Solver Competition, pp. 35-42 (2008)
8. Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)
9. Katsirelos, G., Walsh, T.: A compression algorithm for large arity extensional constraints. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 379-393. Springer, Heidelberg (2007)
10. Lecoutre, C.: Optimization of simple tabular reduction for table constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 128-143. Springer, Heidelberg (2008)
11. Lecoutre, C., Julien, V.: Enforcing arc consistency using bitwise operations. Constraint Programming Letters 2, 21-35 (2008)
12. Mackworth, A.K.: On reading sketch maps. In: IJCAI, pp. 598-606 (1977)
13. Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence 28, 225-233 (1986)
14. Stergiou, K., Samaras, N.: Binary encodings of non-binary constraint satisfaction problems: Algorithms and experimental results. J. Artif. Intell. Res (JAIR) 24, 641-684 (2005)
15. Ullmann, J.R.: Partition search for non-binary constraint satisfaction. Inf. Sci. 177(18), 3639-3678 (2007)
16. Zhou, N.-F.: Programming finite-domain constraint propagators in action rules. Theory and Practice of Logic Programming (TPLP) 6(5), 483-508 (2006)
17. Zhou, N.-F.: BPSOLVER 2008. In: van Dongen, M.R.C., Lecoutre, C., Roussel, O. (eds.) Proceedings of the Third International CSP Solver Competition, pp. 83-90 (2008)