Présentations Invitées

• 
  Michael Leuschel: PROB: un outil de modélisation formelle.
• 
  Charlotte Truchet: Programmation par contraintes et composition musicale.

Environnements

• 
  Ludovic Langevine, Mireille Ducassé: Un pilote de traceur pour la PLC.
• 
  Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.
• 
  Étienne Payet, Frédéric Mesnard: Inférence de non-terminaison pour les programmes logiques avec contraintes.

Contraintes

• 
  Nicolas Beldiceanu, Emmanuel Poder: La contrainte période.
• 
  Sébastien Sorlin, Christine Solnon: Une contrainte globale pour le problème de l'isomorphisme de graphes.
• 
  Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques.
• 
  Laurent Granvilliers, Mina Ouabiba: Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.

Extensions

• 
  Verónica Dahl, Philippe Blache: Implantation de grammaires de propriétés en CHR.
• 
  Pascal Nicolas, Laurent Garcia, Igor Stéphan: Programmation par ensembles-réponses possibilistes.
• 
  Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.
• 
  Sylvain Soliman: Pi-calcul et LCC, une odyssée de l'espace.

Contraintes

• 
  Hervé Deleau, Tony Lambert, Eric Monfroy, Frédéric Saubion: Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.
• 
  Michel Vasquez, Djamal Habet: Algorithmes complet et incomplet pour la coloration des graphes de reines.
• 
  Vincent Barichard, Jin-Kao Hao: Recherche locale dichotomique pour la résolution des CSP continus.
• 
  Gérard Ferrand, Arnaud Lallouet: Une représentation déclarative des consistances de CSPs.
• 
  Élise Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit: Application des techniques CSP pour la configuration d'un process de traitement thermique.

last updated on Sat May 25 05:20:12 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page