JFPLC

Keyphrases

Publications

2004

Élise Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit
Application des techniques CSP pour la configuration d'un process de traitement thermique. JFPLC (2004)
Sacha Berger, François Bry, Sebastian Schaffert
Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC (2004)
Laurent Granvilliers, Mina Ouabiba
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. JFPLC (2004)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC (2004)
Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale. JFPLC (2004)
Michael Leuschel
PROB: un outil de modélisation formelle. JFPLC (2004)
Sylvain Soliman
Pi-calcul et LCC, une odyssée de l'espace. JFPLC (2004)
Ludovic Langevine, Mireille Ducassé
Un pilote de traceur pour la PLC. JFPLC (2004)
Pascal Nicolas, Laurent Garcia, Igor Stéphan
Programmation par ensembles-réponses possibilistes. JFPLC (2004)
Vincent Barichard, Jin-Kao Hao
Recherche locale dichotomique pour la résolution des CSP continus. JFPLC (2004)
Michel Vasquez, Djamal Habet
Algorithmes complet et incomplet pour la coloration des graphes de reines. JFPLC (2004)
Sébastien Sorlin, Christine Solnon
Une contrainte globale pour le problème de l'isomorphisme de graphes. JFPLC (2004)
Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France JFPLC (2004)
Nicolas Beldiceanu, Emmanuel Poder
La contrainte période. JFPLC (2004)
Grégoire Dooms, Yves Deville, Pierre Dupont
Recherche de chemins contraints dans les réseaux biochimiques. JFPLC (2004)
Étienne Payet, Frédéric Mesnard
Inférence de non-terminaison pour les programmes logiques avec contraintes. JFPLC (2004)
Gérard Ferrand, Arnaud Lallouet
Une représentation déclarative des consistances de CSPs. JFPLC (2004)
Verónica Dahl, Philippe Blache
Implantation de grammaires de propriétés en CHR. JFPLC (2004)
Charlotte Truchet
Programmation par contraintes et composition musicale. JFPLC (2004)

2003

2002