A compression algorithm for large arity extensional constraints

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

Volumn 4741 LNCS, Issue , 2007, Pages 379-393

  Katsirelos, George ^a   Walsh, Toby ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATABASE SYSTEMS; DECISION TREES;

ARITY EXTENSIONAL CONSTRAINTS; EXPONENTIAL REDUCTION;

PROBLEM SOLVING;

EID: 38149061352     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74970-7_28     Document Type: Conference Paper

References (13)

1. Bessière, C., Régin, J.-C.: Arc consistency for general constraint networks: Preliminary results. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, pp. 398-404 (1997)
2. Carlsson, M.: Filtering for the case constraint. Talk given at Advanced School on Global Constraints, Samos, Greece (2006)
3. Focacci, F., Milano, M.: Global cut framework for removing symmetries. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239. Springer, Heidelberg (2001)
4. Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Data structures for generalised arc consistency for extensional constraints. In: Proceedings of the Twenty Second Conference on Artificial Intelligence (to appear 2007)
5. Hyafil, L., Rivest, R.L.: Constructing optimal binary decision trees is np-complete. Information Processing Letters 5(1), 15-17 (1976)
6. Katsirelos, G., Bacchus, F.: Generalized nogoods in CSPs. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (2005)
7. Lecoutre, C., Hemery, F.: A study of residual supports in arc consistency. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, pp. 125-130 (2007)
8. Lecoutre, C., Szymanek, R.: Generalized arc consistency for positive table constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204. Springer, Heidelberg (2006)
9. Lhomme, O., Régin, J.-C.: A fast arc consistency algorithm for n-ary constraints. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05) (2005)
10. Quinlan, J.: Induction of decision trees, Machine Learning 1, 81-106 (1986)
11. Quinlan, J.: Programs for Machine Learning. Morgan Kaurmann Publishers, San Francisco (1993)
12. Régin, J.-C.: AC-*: A configurable, generic and adaptive arc consistency algorithm. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 505-519. Springer, Heidelberg (2005)
13. van Dongen, M., Lecoutre, C., Wallace, R., Zhang, Y.: 2005 CSP solver competition. In: van Dongen, M. (ed.) Second International Workshop on Constraint Propagation and Implementation (2005)