Constraint-based timetabling a case study

Applied Artificial Intelligence

Volumn 10, Issue 5, 1996, Pages 439-453

  Henz, Martin ^a   Rtz, Jörg Wü ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; OPERATIONS RESEARCH; SCHEDULING;

CONSTRAINT BASED TIME TABLING; CONSTRAINT LOGIC PROGRAMMING; GERMAN COLLEGE;

LOGIC PROGRAMMING;

EID: 0030230987     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/088395196118498     Document Type: Article

References (22)

1. Aggoun, A., and N. Beldiceanu. 1993. Extending CHIP in order to solve complex scheduling and placement problems. Mathematical and Computer Modelling 17(7): 57-73.
2. Boizumault, P., C. Gueret, and N. Jussien. 1994. Efficient labeling and constraint relaxation for solving time tabling problems. Technical Report European Computer Science Research Center (ECRC)-94-38, Munich, Germany. ECRC.
3. Benhamou, F., and W. J. Older. 1992. Applying interval arithmetic to integer and boolean constraints. Technical report, Bell Northern Research, June 1992.
4. Bruynooghe, M., and L. M. Pereira. 1984. Deduction revision by intelligent backtracking. In J. A. Campbell (ed.), Implementations of PROLOG. Chichester, England: Ellis Horwood Limited.
5. Carlson, B., M. Carlsson, and D. Diaz. 1994. Entailmentof finite domain constraints. In P. van Hentenryck (ed.), Proceedings of the International Conference on Logic Programming, 339-353. Cambridge, Mass.: MIT Press.
6. Colmerauer, A. 1990. An introduction to PROLOG III. Communications of the ACM July: 70-90.
7. Diaz, D., and P. Codognet. 1993. A minimal extension of the W AM forclp(FD). In Proceedings of the International Conference on Logic Programming, 774-790. Cambridge, Mass.: MIT Press.
8. Dincbas, M., P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. 1988. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, 693-702. Tokyo, Japan.
9. ECRC. 1994. ECLPS, User Manual Version 3.4.1, July 1994.
10. Jaffar, J., and S. Michaylov. 1987. Methodology and implementation of a CLP system. In Proceedings of the International Conference on Logic Programming, 196-218.
11. Mackworth, A. K. 1977. Consistency in networks of relations. Artificial Intelligence 8: 99-118.
12. Mehl, M. 1994. Window programming in DFKI Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany.
13. Schulte, C. 1994. Open programming in DFKI Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany.
14. Sidebottom, G. A. 1993. A language for optimizing constraint propagation. Ph.D. thesis, Simon Fraser University, Burnaby, B.C., Canada.
15. Smolka, G. 1995a. The definition of Kernel Oz. In A. Podelski (ed.), Constraints: Basics and trends. Lecture Notes in Computer Science, vol. 910,251-292. New York: Springer-Verlag.
16. Smolka, G. 1995b. The Oz programming model. In Jan van Leeuwen (ed.), Computer science today. Lecture Notes in Computer Science, vol. 1000, 324-343. New York: Springer-Verlag, in press.
17. Saraswat, V. A., and M. Rinard. 1990. Concurrent constraint programming. In Proceedings of the 7 th Annual ACM Symposium on Principles of Programming Languages, 232-245. San Francisco, Calif.
18. Schulte, C., and G. Smolka. 1994. Encapsulated search in higher-order concurrent constraint programming. In Maurice Bruynooghe (ed.), Logic programming: Proceedings of the 1994 International Symposium, 505-520. Cambridge, Mass.: MIT Press.
19. Schulte, C., G. Smolka, and J. Würtz. 1994. Encapsulated search and constraint programming inOz. In A. H. Boming (ed.), Second workshop on principles and practice of constraint programming. Lecture Notes in Computer Science, vol. 874, 134-150. New York: Springer-Verlag.
20. Smolka, G., and R. Treinen (eds.), 1995. DFKI Oz Documentation Series. German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany.
21. Van Hentenryck, P., V. Saraswat, and Y. Deville. 1991. Constraint processing incc(FD). Technical report, Brown University, Providence, R.I.
22. Van Hentenryck, P., V. Saraswat, and Y. Deville. 1995. Design, implementation and evaluation of the constraint language cc(FD). In A. Podelski (ed.), Constraints: Basics and trends. Lecture Notes in Computer Science, vol. 910, 293-316. New York: Springer-Verlag.