Constraint programming – on the way to the Holly Grail

 Access to full text

 Full (PDF)

1. Adhikary, J., Hasle, G., Misund, G., Constraint Technology Applied to Forest Treatment Scheduling, In: Proc. of Practical Application of Constraint Technology (PACT97), London, UK, 1997. (1997) 
2. Barták, R., On-line Guide to Constraint Programming, Prague, 1998,http://kti.mff.cuni.cz/~bartak/constraints/ (1998) 
3. Bellone, J., Chamard, A., Pradeless, C., PLANE: An Evolutive Planning System for Aircraft Production, In: Proc. of Practical Application of Prolog (PAP92), London, UK, 1992. (1992) 
4. Borning, A., The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory, In: ACM Transactions on Programming Languages and Systems 3 (4): 252–387, 1981. (1981) 
5. Chan, P., Heus, K., Weil, G., Nurse Scheduling with Global Constraints in CHIP: GYMNASTE, In: Proc. of Practical Application of Constraint Technology (PACT98), London, UK, 1998. (1998) 
6. Chow, K. P., Perett, M., Airport Counter Allocation using Constraint Logic Programming, In: Proc. of Practical Application of Constraint Technology (PACT97), London, UK, 1997. (1997) 
7. Dincbas, M., Simonis, H., APACHE — A Constraint Based, Automated Stand Allocation Systems, In: Proc. of Advanced Software Technology in Air Transport (ASTAIR91), London, UK, 1991. (1991) 
8. Focacci, F., Lamma, E., Mello, P., Milano, M., Constraint Logic Programming for the Crew Rostering Problem, In: Proc. of Practical Application of Constraint Technology (PACT97), London, UK, 1997. (1997) 
9. Freuder, E. C., Synthesizing Constraint Expressions, In: Communications ACM 21 (11): 958–966, ACM, 1978. (1978) Zbl0386.68065MR0510243
10. Frühwirth, T., Brisset, P., Optimal Placement of Base Stations in Wireless Indoor Telecommunication, In: Proc. of Principles and Practice of Constraint Programming (CP98), Pisa, Italy, 1998. (1998) 
11. Gaschnig, J., Performance Measurement and Analysis of Certain Search Algorithms, CMU-CS-79-124, Carnegie-Mellon University, 1979. (1979) 
12. Gallaire, H., Logic Programming: Further Developments, In: IEEE Symposium on Logic Programming, Boston, IEEE, 1985. (1985) 
13. Glover, F., Laguna, M., Tabu Search, In: Modern Heuristics for Combinatorial Problems, Blackwell Scientific Publishing, Oxford, 1993. (1993) Zbl0774.90033MR1665424
14. Haralick, R. M., Elliot, G. L., Increasing tree search efficiency for constraint satisfaction problems, In: Artificial Intelligence 14: 263–314, 1980. (1980) 
15. Jacquet-Lagreze, E., Hybrid Methods for Large Scale Optimisation Problems: an OR Perspective, In: Proc. of Practical Application of Constraint Technology (PACT98), London, UK, 1998. (1998) 
16. Jaffar, J., Lassez, J. L., Constraint Logic Programming, In: Proc. The ACM Symposium on Principles of Programming Languages, ACM, 1987. (1987) 
17. Jaffar, J., Maher, M. J., Constraint Logic Programming — A Survey, J. Logic Programming, 19/20: 503–581, 1996. (1996) Zbl0900.68127MR1279934
18. Johansen, B. S., Hasle, G., Well Activity Scheduling — An Application of Constraint Reasoning, In: Proc. of Practial Application of Constraint Technology (PACT97), London, UK, 1997. (1997) 
19. Kumar, V., Algorithms for Constraint Satisfaction Problems: A Survey, AI Magazine 13 (1): 32–44, 1992. (1992) 
20. Mackworth, A. K., Consistency in Networks of Relations, In: Artificial Intelligence 8 (1): 99–118, 1977. (1977) Zbl0341.68061
21. Marriot, K., Stuckey, P., Programming with Constraints: An Introduction, The MIT Press, Cambridge, Mass., 1998. (1998) MR1615090
22. Minton, S., Johnston, M. D., Laird, P., Minimising conflicts: a heuristic repair method for constraint satisfaction and scheduling problems, In: Artificial Intelligence 58 (1–3): 161–206, 1992. (1992) Zbl0782.90054MR1192398
23. Monfroy, E., Solver Collaboration for Constraint Logic Programming, PhD Thesis, l’Universite Henri Poincare-Nancy I, 1996. (1996) 
24. Montanary, U., Networks of constraints: Fundamental properties and applications to picture processing, In: Information Science 7: 95–132, 1974. (1974) MR0413625
25. Nadel, B., Tree Search and Arc Consistency in Constraint Satisfaction Algorithms, In: Search in Artificial Intelligence, Springer-Verlag, New York, 1988. (1988) MR1019101
26. Nilsson, N. J., Principles of Artificial Intelligence, Tioga, Palo Alto, 1980. (1980) Zbl0422.68039
27. Perett, M., Using Constraint Logic Programming Techniques in Container Port Planning, In: ICL Technical Journal, May: 537–545, 1991. (1991) 
28. Selman, B., Kautz, H., Domain-independent extensions to GSAT: Solving Large Structured Satisfiability Problems, In: Proc. IJCAI-93, 1993. (1993) 
29. Simonis, H., Aggoun, A., Search Tree Debugging, Technical Report, COSYTEC SA, 1997. (1997) Zbl0942.68551
30. Sutherland, I., Sketchpad: a man-machine graphical communication system, In: Proc. IFIP Spring Joint Computer Conference, 1963. (1963) 
31. Tsang, E., Foundations of Constraint Satisfaction, Academic Press, London, 1995. (1995) 
32. Hentenryck, P. van, Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Mass., 1989. (1989) Zbl0782.68028MR1013366
33. Hentenryck, P. van, Michel, L., Deville, Y., Numerica: A Modeling Language for Global Optimization, The MIT Press, Cambridge, Mass., 1997. (1997) 
34. Waltz, D. L., Understanding line drawings of scenes with shadows, In: Psychology of Computer Vision, McGraw-Hill, New York, 1975. (1975) MR0395290