Constraint representation for propagation

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

Volumn 1520, Issue , 1998, Pages 235-249

  Harvey, Warwick ^a   Stuckey, Peter J ^b  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

ALTERNATE APPROACHES; COMBINATORIAL PROBLEM; CONSTRAINT SOLVERS; DOMAIN INFORMATIONS; FINITE DOMAINS; INTEGER CONSTRAINTS; PROPAGATION METHOD; SHARED VARIABLES;

CONSTRAINT THEORY;

EID: 84957369621     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_18     Document Type: Conference Paper

References (9)

1. Philippe Codognet and Daniel Diaz. Compiling constraints in clp(FD). The Journal of Logic Programming, 27(3):185-226, 1996.
2. P. Cousot and R. Cousot. Automatic synthesis of optimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence and Programming Languages, 1977.
3. Daniel Diaz and Phillipe Codognet. A minimal extension of the WAM for clp(FD). In David S. Warren, editor, Proceedings of the 10th International Conference on Logic Programming, pages 774-790. MIT Press, 1993.
4. Warwick Harvey and Peter J. Stuckey. Constraint representation for propagation. Computer Science Technical Report 98/10, The University of Melbourne, 1998. Available at http://www.cs.mu.oz.au/~pjs/papers/papers.html.
5. Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395, July 1992.
6. J.H.M. Lee, H.F. Leung, and H.W. Won. Extending GENET for non-binary CSP’s. In Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence, pages 338-343. IEEE Computer Society Press, 1995.
7. Jonathan S. Ostroff. Temporal Logic for Real-Time Systems. Wiley, 1989.
8. Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989.
9. Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Constraint processing in cc(FD). manuscript, 1992.