Encodings of the SEQUENCE constraint

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

Volumn 4741 LNCS, Issue , 2007, Pages 210-224

  Brand, Sebastian ^a   Narodytska, Nina ^b   Quimper, Claude Guy ^c   Stuckey, Peter ^a   Walsh, Toby ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c Omega Optimisation ^*

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); PROBLEM SOLVING; SCHEDULING; TREES (MATHEMATICS);

DOMAIN CONSISTENCY ALGORITHMS; EXPENSIVE PROPAGATOR; LOOSER PROBLEMS;

CONSTRAINT THEORY;

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

References (11)

1. Pesant, G.: A regular language membership constraint for finite sequences of variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 482-495. Springer, Heidelberg (2004)
2. Quimper, C.G., Walsh, T.: Global grammar constraints. [11], pp. 751-755
3. Beldiceanu, N., Contejean, E.: Introducing global constraints in CHIP. Mathematical and Computer Modelling 12, 97-123 (1994)
4. Debruyne, R., Bessière, C.: Some practicable filtering techniques for the constraint satisfaction problem. In: 15th Int. Joint Conf. on Artificial Intelligence (IJCAI'97), pp. 412-417. Morgan Kaufmann, San Francisco (1997)
5. Bessière, C., Hebrard, E., Hnich, B., Kiziltan, Z., Walsh, T.: The SLIDE-meta constraint. Technical report (2007)
6. van Hoeve, W.J., Pesant, G., Rousseau, L.M., Sabharwal, A.: Revisiting the Sequence constraint. [11], pp. 620-634
7. Régin, J.C., Puget, J.F.: A filtering algorithm for global sequencing constraints. In: Smolka, G. (ed.) Principles and Practice of Constraint Programming - CP97. LNCS, vol. 1330, pp. 32-46. Springer, Heidelberg (1997)
8. Beldiceanu, N., Carlsson, M.: Revisiting the cardinality operator and introducing the cardinality-path constraint family. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 59-73. Springer, Heidelberg (2001)
9. Régin, J.C.: Combination of Among and Cardinality constraints. In: Barták, R., Milano, M. (eds.) CPAIOR 2005. LNCS, vol. 3524, pp. 288-303. Springer, Heidelberg (2005)
10. Cotton, S., Maler, O.: Fast and flexible difference constraint propagation for DPLL(T). In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 170-183. Springer, Heidelberg (2006)
11. Benhamou, F. (ed.): CP 2006. LNCS, vol. 4204. Springer, Heidelberg (2006)