Programmed Search in a Timetabling Problem over Finite Domains

Electronic Notes in Theoretical Computer Science

Volumn 177, Issue 1, 2007, Pages 253-267

  Gonzalez del Campo R ^a   Saenz Perez F ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Applications; Finite Domains; Search; Timetabling

Indexed keywords

ALGEBRA; COMBINATORIAL MATHEMATICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SOFTWARE PROTOTYPING;

CONSTRAINT PROGRAMMING; FINITE DOMAINS; TIMETABLING;

PROBLEM SOLVING;

EID: 34248662097     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.01.013     Document Type: Article

References (33)

1. Azevedo, F. and P. Barahona, Timetabling in Constraint Logic Programming, in: Proceedings of 2nd World Congress on Expert Systems, Estoril, Portugal, 1994
2. Brauner, N., R. Echahed, G. Finke, H. Gregor and F. Prost, Specializing narrowing for timetable generation: A case study., in: PADL, 2005, pp. 22-36
3. Brooke A., Kendrick D., and Meeraus A. GAMS: A User's Guide (1992)
4. Burke E., and Landa Silva J. The design of memetic algorithms for scheduling and timetabling problems. In: S. J., Krasnogor N., and Hart W. (Eds). Recent Advances in Memetic Algorithms (2004) 289-312
5. Burke E., and Petrovic S. Recent Research Directions in Automated Timetabling. European Journal of Operational Research 140 (2002) 266-280
6. Burke E.K., Jackson K., Kingston J.H., and Weare R.F. Automated University Timetabling: The State of the Art. Comput. J. 40 (1997) 565-571
7. Burke E.K., Newall J.P., and Weare R.F. A Memetic Algorithm for University Exam Timetabling. Practice and Theory of Automated Timetabling. Lecture Notes in Computer Science Volume 1153 (1995) 241-250
8. Castro C., Moossen M., and Riff M. A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation. Advances in Artificial Intelligence SBIA 2004 (2004) 93-102
9. Corne, D., P. Ross and H.-L. Fang, Evolutionary Timetabling: Practice, Prospects and work in Progress, in: Proceedings of the UK Planning and Scheduling SIG Workshop Strathclyde, 1994
10. Corne D., Ross P., and Fang H.-L. Fast Practical Evolutionary Timetabling. Evolutionary Computing AISB Workshop. Leeds, UK, April 1994. Lecture Notes in Computer Science vol. 865 (1994) 251-263
11. Díaz A. Optimización Heurística y Redes Neuronales (1996), Editorial Paraninfo
12. Fernández, A.J., T. Hortalá-González, F. Sáenz-Pérez and R. del Vado, Constraint functional logic programming over finite domains, Theory and Practice of Logic Programming (2006), in Press
13. Garfinkel R., and Nemhauser G. Integer Programming (1972), John Wiley & Sons, New York
14. Gay, D.M., Symbolic-Algebraic Computations in a Modeling Language for Mathematical Programming
15. Goldberg D.E. Genetic Algorithms in Search, Optimization and Machine Learning (1989), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
16. Hanus M. Curry: a Truly Integrated Functional Logic Language (1999). http://www.informatik.uni-kiel.de/~curry/
17. Hentenryck P.V., Michel L., Perron L., and Régin J.-C. Constraint Programming in OPL. In: Nadathur G. (Ed). Proceedings of the International Conference on Principles and Practice of Declarative Programming. (PPDP'99). Lecture Notes in Computer Science 1702 (1999) 98-116
18. Hentenryck P.V., and Saraswat V. Strategic Directions in Constraint Programming. ACM Comput. Surv. 28 (1996) 701-726
19. Jaffar, J. and J. Lassez, Constraint Logic Programming, in: 14th ACM Symposium on Principles of Programming Languages (POPL'87) (1987), pp. 111-119
20. Khemmoudj, M., M. Porcheron and H. Bennceur, Using Constraint Programming and Local Search for Scheduling of Electricité de France Nuclear Power Plant Outages (1998)
21. Lajos, G., Complete University Modular Timetabling using Constraint Logic Programming, in: Selected papers from the First International Conference on Practice and Theory of Automated Timetabling (1996), pp. 146-161
22. López-Fraguas, F.J., A General Scheme for Constraint Functional Logic Programming, in: Proceedings of the Third International Conference on Algebraic and Logic Programming (1992), pp. 213-227
23. Marte, M., "Models and Algorithms for School Timetabling - A Constraint-Programming Approach," Dissertation/Ph.D. thesis, Institute of Computer Science, LMU, Munich (2003)
24. Merlot L.T.G., Boland N., Hughes B.D., and Stuckey P.J. A Hybrid Algorithm for the Examination Timetabling Problem. Proceedings of the 4th International Conference on the Practice and Theory of Automated Timetabling. Lecture Notes in Computer Science Volume 2740 (2002) 207-231
25. Michalewicz Z. Genetic Algorithms + Data Structures = Evolution Programs. 3rd ed. (1996), Springer-Verlag, London, UK
26. Ross P., Corne D., and Fang H.-L. Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation. In: Davidor Y., Schwefel H.-P., and Männer R. (Eds). Parallel Problem Solving from Nature - PPSN III (1994) 556-565
27. Ross P., Corne D., and Fang H.-L. Successful Lecture Timetabling with Evolutionary Algorithms. In: Eiben A.E., Manderick B., and Ruttkay Z. (Eds). Applied Genetic and other Evolutionary Algorithms: Proceedings of the ECAI'94 Workshop (1995), Springer, Berlin
28. Ross, P., E. Hart and D. Corne, Some Observations about GA-Based Exam Timetabling, in: PATAT '97: Selected papers from the Second International Conference on Practice and Theory of Automated Timetabling II (1998), pp. 115-129
29. Rossi-Doria O., P. B., A memetic algorithm for university course timetabling, in: Combinatorial Optimisation 2004 Book of Abstracts, Lancaster, UK, Lancaster University, 2004
30. Van Hentenryck P. The OPL Optimization Programming Language (1999), The MIT Press, Cambridge, MA
31. Walsh, T., Depth-bounded Discrepancy Search, in: Proceedings of the International Joint Conference on Artificial Intelligence IJCAI, 1997, pp. 1388-1395
32. William D. Harvey, M.L.G., Limited Discrepancy Search, in: C.S. Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95); Vol. 1 (1995), pp. 607-615
33. Winston W. Operations Research: Applications and Algorithms (1991), International Thomson Publishing, Boston, Massachusetts