Propagating logical combinations of constraints

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 35-40

  Bacchus, Fahiem ^a   Walsh, Toby ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARC-CONSISTENCY; COMPLEX CONSTRAINTS; GLOBAL CONSTRAINTS; LIGHT WEIGHT; LOGICAL COMBINATION; LOGICAL CONNECTIVES;

ARTIFICIAL INTELLIGENCE;

EID: 33749365770     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. N. Beldiceanu and E. Contejean. Introducing global constraints in CHIP. Mathl. Comput. Modelling, 20:97-123, no. 12 1994.
2. C. Bessière and J-C. Régin. Local consistency on conjunctions of constraints. In Proc, of ECAI-98 Workshop on Non-Binary Constraints. 1998.
3. C. Bessiere, E. Hebrard, B. Hnich, and T. Walsh. The complexity of global constraints. In Proc. of the 19th National Conf. on AI. AAAI, 2004.
4. Jörg Flum, Markus Frick, and Martin Grohe. Query evaluation via tree-decompositions. J. ACM, 49(6):716-752, 2002.
5. A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. Global constraints for lexicographic orderings. In 8th Int. Conf. on Principles and Practices of Constraint Programming (CP-2002). Springer, 2002.
6. Y.C. Law and J.H.M. Lee. Global constraints for integer and set value precedence. In 8th Int. Conf. on Principles and Practice of Constraint Programming (CP2004), pages 362-376. Springer, 2004.
7. O. Lhomme. Arc-consistency Filtering Algorithms for Logical Combinations of Constraints. In Proc. of Int. Conf. on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AIOR' 04). Springer, 2004.
8. F. Pachet and P. Roy. Automatic generation of music programs. In J. Jaffar, editor, Proc. of 5th Int. Conf. on Principles and Practice of Constraint Programming (CP99), pages 331-345. Springer, 1999.
9. C. Papadimitriou and M. Yannakakis. The complexity of facets (and some facets of complexity). Journal of Computer and System Sciences, 28(2):244-259, 1984.
10. P. Refalo. Linear formulation of constraint programming models and hybrid solvers. In R. Dechter, editor, Proc. of 6th Int. Conf. on Principles and Practice of Constraint Programming (CP2000), pages 369-383. Springer, 2000.
11. P. Van Hentenryck and J.-P. Carillon. Generality versus specificity: An experience with AI and OR techniques. In Proc. of 7th National Conf. on Artificial Intelligence, pages 660-664. AAAI, 1988.
12. P. Van Hentenryck and Y. Deville. The cardinality operator: a new logical connective for constraint logic programming. In Proc. of the Int. Conf. on Logic Programming (ICLP 91), pages 745-759, 1991.
13. P. Van Hentenryck, V. Saraswat, and Y. Deville. Design, implementation and evaluation of the constraint language cc(fd). Journal of Logic Programming, 37(1-3):139-164, 1998. (Pubitemid 128415803)
14. J. Würtz and T. Müller. Constructive disjunction revisited. In Proc. of 20th German Annual Conf. on Artificial Intelligence. Springer-Verlag, 1996.