 |
 |
 |
narendra jussien | professeur, équipe contraintesécole des mines de nantes - lina |
» accueil » recherche » dissémination
Le «sudoku», très à la mode en ce moment, permet d'illustrer très simplement les principes de base de la programmation par contraintes. Ainsi, un solveur a été développé et est disponible sur le site pour démonstration.
Le système PaLM est une bibliothèque CHOCO fournissant un solveur de contraintes avec explications. PaLM est maintenant fourni en standard avec la version Java de CHOCO.
L'équipe Contraintes de l'EMN est membre fondateur et très actif du groupe OCRE (Outil Contraintes pour la Recherche et l'Enseignement). L'objectif de ce groupe est de développer et diffuser un outil pour la résolution de systèmes de contraintes, à usage de recherche et d'enseignement. Bouygues e-lab, l'ONERA Centre de Toulouse, l'INRA Toulouse, le LIRMM et l'EMN en sont les principaux partenaires. Le solveur de contraintes CHOCO en est la contribution principale. Il s'agit d'une bibliothèque java.
Le logiciel DynSPS (Dynamic Shop scheduling Problem Solver) est un prototype de résolution de problèmes dynamiques. Il a été développé à l'aide de la bibliothèque DECorum.
Le système DECorum est une bibliothèque C++ de résolution de contraintes avec explications.
19 jan 2007 La programmation par contraintes, aide à la décision, article dans Le Monde Informatique
24 nov 2006 La programmation par contraintes au secours du décisionnel, carte blanche dans 01 informatique
2 mar 2006 sudoku dans les labos, article dans Le Nouvel Observateur
fév. - nov. 2006 Le «sudoku» comme introduction à la programmation par contraintes
présentation | impact médiatique
|
|
|
mai 2005 Séminaire 68NQRT, IRISA, (Rennes, France). Invité par Arnaud Gotlieb. [Jussien, 2005]
avr. 2005 Séminaire du Cork Constraint Computation Center (4C), University College (Cork, Irlande). Invité par Barry O'Sullivan. [Jussien, 2005]
fév. 2005 Séminaire du Laboratoire d'Informatique et de Micro-électronique de Montpellier. Invité par Christian Bessière. [Jussien, 2005]
mai 2004 Séminaire du National Institute for Informatics (Tokyo, Japon). Invité par Hiroshi Hosobe. [Jussien, 2004]
avr./mai 2001 chercheur-invité au e-lab, laboratoire de R&D du groupe Bouygues
jan. 2001 Journée Contraintes et Règles de l'Association Française pour la Programmation Logique et la programmation par Contraintes. Invité par Arnaud Lallouet et Gérard Ferrand. [Jussien, 2001]
jun. 1999 Séminaire de l'équipe LANDE de l'IRISA (Rennes). Invité par Erwan Jahier. [Jussien, 1999]
avr. 1999 Séminaire prospectif sur le débogage de contraintes à l'INRIA Rocquencourt. Invité par Pierre Deransart. [Jussien, 1999]
jun. 1998 Journée Contraintes dynamiques, réactivité, interactivité de l'Association Française pour la Programmation Logique et la programmation par Contraintes. Invité par Philippe Codognet et Patrice Boizumault. [Jussien, 1998]
mai 1997 Journée du Pôle Contraintes et Programmation Logique du GDR Programmation du CNRS. [Jussien et al., 1997]
mar. 1997 Séminaire du CREAM (Laboratoire de recherche de l'Institut de Mathématiques Appliquées). Invité par Éric Pinson. [Jussien, 1997]
jan. 1997 Groupe de travail Programmation en Logique de l'AFCET (ALP France). Invité par les acteurs du projet ESPRiT (LTR) DiSCiPl (Debugging systems for Constraint Programming) [Jussien, 1997]
mai 1996 Journée du Pôle Contraintes et Programmation Logique du GDR Programmation du CNRS [Jussien and Boizumault, 1996]
jan. 1996 Séminaire du CREAM (Laboratoire de recherche de l'Institu de Mathématiques Appliquées), invité par Éric Pinson [Jussien, 1996]
jul. 1993 Petit séminaire de l'IRISA (Rennes), invité par Yves Bekkers [Jussien, 1993]
copyright © 2003-2008 narendra jussien
