Communication dans un congrès, Informatique, Intelligence artificielle

Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP)

Jean-François Condotta, Gérard Ligozat, Stavros Tripakis. Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP). Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.287-296. ⟨inria-00000077⟩

Publié le