Improving linear constraint propagation by changing constraint representation

Constraints

Volumn 8, Issue 2, 2003, Pages 173-207

  Harvey, Warwick ^a,c   Stuckey, Peter J ^b  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Finite domain constraint solving; Linear integer constraints; Propagation methods

Indexed keywords

COMBINATORIAL MATHEMATICS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; PROBLEM SOLVING;

COMBINATORIAL PROBLEMS;

CONSTRAINT THEORY;

EID: 0037382506     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022323717928     Document Type: Article

References (13)

1. Aggoun, A., & Beldiceanu, N. (1993). Overview of the CHIP compiler system. In Benhamou, F., & Colmerauer, A., eds., Constraint Logic Programming: Selected Research, pages 421-435. MIT Press.
2. Applegate, D., & Cook, W. (1991). A computational study of the job-shop scheduling instance. ORSA Journal on Computing, 3:149-156.
3. Codognet, P., & Diaz, D. (1996). Compiling constraints in clp(FD). The Journal of Logic Programming, 27(3):185-226.
4. Cousot, P., & Cousot, R. (1977). Automatic synthesis of optimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence and Programming Languages, pages 1-12.
5. Diaz, D., & Codognet, P. (1993). A minimal extension of the WAM for clp(FD). In Warren, D. S., ed., Proceedings of the 10th International Conference on Logic Programming, pages 774-790. MIT Press.
6. Jaffar, J., Michaylov, S., Stuckey, P., & Yap, R. (1992). The CLP(ℛ) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395.
7. Lawrence, S. (1984). Resource constrained project scheduling: an experimental investigation of heuristic scheduling techniques (supplement). Technical report, Graduate School of Industrial Administration, Pittsburgh: Carnegie-Mellon University.
8. Lee, J. H. M., Leung, H. F., & Won, H. W. (1995). 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.
9. Ostroff, J. S. (1989). Temporal Logic for Real-Time Systems. Wiley.
10. Puget, J. F. (1994). A C++ implementation of CLP. Technical report, ILOG SOLVER collected papers, ILOG.
11. Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming, Logic Programming Series. Cambridge: MIT Press.
12. Van Hentenryck, P., Saraswat, V., & Deville, Y. (1993). Design, implementation and evaluation of the constraint language cc(FD). Report CS-93-02, Brown University.
13. Van Hentenryck, P., Saraswat, V., & Deville, Y. (1998). Design, implementation and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(1-3):139-164.