Gouachi, Idir and Plateau, Gérard "LIRESNE: A system for solving integer satisfaction constraint problems"

(1999) CP-AI-OR'99 Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems  

Languages mentioned LIRESNE {1998}