Sites Inria

Il y a 2 Résultats avec le mot clé : "CHOCO"

© INRIA Sophie Auvin - T comme Temps

Recherche - Prix

L'équipe de recherche TASC se distingue

Nathalie Lacaux - 8/10/2013

TASC est une des équipes de recherche du centre Inria Rennes-Bretagne Atlantique située à Nantes. Elle se distingue en obtenant, en septembre, prix et médailles, qui viennent récompenser ses travaux de recherche et ses développements logiciels de bibliothèque de contraintes.

Mots-clés :

Accueil > Centre > Rennes > Actualités > L'équipe de recherche TASC se distingue

Lire la suite

Charles Prud'homme

Offre technologique

Un solveur de contraintes en Java

Jean-Michel Prima - 1/09/2016

Librairie Java de modélisation et de résolution de problèmes mathématiques basée sur la programmation par contraintes (PPC), Choco est devenu l'un des outils open source les plus performants dans son domaine. Coresponsable du développement et ingénieur de recherche dans l'équipe Tasc à Nantes, Charles Prud'homme revient sur les raisons de ce succès et explique l'intérêt que présente un tel solveur pour l'industrie.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Un solveur de contraintes en Java

Lire la suite

Haut de page

Suivez Inria