Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels

Nicolas Singer. Algorithme pour le traitement incrémental des contraintes linéaires sur les nombres rationnels. In Jean-Jacques Chabrier, editor, JFPLC 95, IVèmes Journées Francophones de Programmation en Logique & Journée d étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France. pages 95-110, 1995.

No reviews for this publication, yet.