Bound consistency for binary length-lex set constraints

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 375-380

  Van Hentenryck, Pascal ^a   Yip, Justin ^a   Gervet, Carmen ^b   Dooms, Grégoire ^a  

^a BROWN UNIVERSITY   (United States)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CONSTRAINTS; BOUND CONSISTENCIES; CARDINALITY; CARDINALITY CONSTRAINTS; CONSISTENCY ALGORITHMS; CONSTRAINT SATISFACTION PROBLEMS; DISJOINTNESS; PAPER ADDRESSES; SET CONSTRAINTS; TOTAL ORDERINGS;

ARTIFICIAL INTELLIGENCE; BIONICS;

CONFERENCE CALLS;

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

References (9)

1. Azevedo, F., Barahona, P. 2000. Modelling Digital Circuits Problems with Set Constraints, in CL.-2000.
2. Colbourn, C. J., Dinitz, J.H., Stinson. 1999. Applications of Combinatorial Designs to Communications, Cryptography, and Networking. Cambridge Univ. Press.
3. Dooms, G., Mercier, L., Van Hentenryck, P., Van Hoeve, W.-J., Michel, L. 2007. Length-Lex Open Constraints. Tech. Report CS-07-09, Brown University, Department of Computer Science.
4. Gervet, C. 1997. Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. In Constraints journal, volume 1(3).
5. Gervet, C., Van Hentenryck, P. 2006. Length-lex Ordering for Set CSPs. In Proc. AAAI'06.
6. Kreher, D.L., Stinson, D.R. 1999. Combinatorial Algorithms. The CRC Press.
7. Puget, J-F. 1992 PECOS a High Level Constraint Programming Language In Proc. of Spicis.
8. Sadler, A., Gervet, C. 2008 Enhancing Set Constraint Solvers with Lexicographic Bounds. Journal of Heuristics, volume 14(1).
9. Van Hentenryck, P. 1989 Constraint Satisfaction in Logic Programming. The MIT Press.