CP-AI-OR'99 Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems
(1999)
Gouachi, Idir and Plateau, Gérard (1998)
Gouachi, Idir and Plateau, Gérard "LIRESNE: A system for solving integer satisfaction constraint problems"