References

Ae97

Abderrahamane Aggoun and et.al. ECLiPSe user manual. IC-Parc, 1997.

Be97

Pascal Brisset and et.al. ECLiPSe Extensions manual. IC-Parc, 1997.

CPL93

CPLEX. Using the cplex callable library and cplex mixed integer library. Technical Report Version 2.1, CPLEX Optimisation Inc., 1993.

MJPL92

S. Minton, M. D. Johnston, A. B. Philips, and P. Laird. Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58, 1992.

RR96

Tom Richards and Barry Richards. Nogood learning for constraint satisfaction. Technical report, IC-Parc, 1996. In Proceedings CP 96 Workshop on Constraint Programming Application.

RWH97

Robert Rodosek, Mark Wallace, and Mozafian Hajian. A new approach to integrating mixed integer programming with constraint logic programming. Technical report, IC-Parc, 1997. To appear in Annals of Operations Research.

SNE97

Joachim Schimpf, Stefano Novello, and Hani El Sakkout. IC-Parc ECLiPSe Library Manual. IC-Parc, 1997.

Wal97

Mark Wallace. Constraint programming. Chapter 17 of The Handbook of Applied Expert Systems, CRC Press, 1997.

Yok94

M. Yokoo. Weak-commitment search for solving constraint satisfaction problems. In Proc. 12th National Conference on Artificial Intelligence, pages 313-318, 1994.