Idir GOUACHI, "LIRESNE : un système de résolution de problèmes de satisfaction de contraintes en nombres entiers", Thèse de Doctorat d'Informatique, Université Paris-Nord, 30 septembre 1998. Directeur : Gérard PLATEAU.

Languages mentioned

• LIRESNE {1998}