default search action
JFPLC 2004: Angers, France
- Frédéric Mesnard:
Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes 2004, ISBN 2-7462-0937-3
Présentations Invitées
- Michael Leuschel:
PROB: un outil de modélisation formelle. JFPLC 2004 - Charlotte Truchet:
Programmation par contraintes et composition musicale. JFPLC 2004
Environnements
- Ludovic Langevine, Mireille Ducassé:
Un pilote de traceur pour la PLC. JFPLC 2004 - Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC 2004 - Étienne Payet, Frédéric Mesnard:
Inférence de non-terminaison pour les programmes logiques avec contraintes. JFPLC 2004
Contraintes
- Nicolas Beldiceanu, Emmanuel Poder:
La contrainte période. JFPLC 2004 - Sébastien Sorlin, Christine Solnon:
Une contrainte globale pour le problème de l'isomorphisme de graphes. JFPLC 2004 - Grégoire Dooms, Yves Deville, Pierre Dupont:
Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004 - Laurent Granvilliers, Mina Ouabiba:
Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. JFPLC 2004
Extensions
- Verónica Dahl, Philippe Blache:
Implantation de grammaires de propriétés en CHR. JFPLC 2004 - Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Programmation par ensembles-réponses possibilistes. JFPLC 2004 - Sacha Berger, François Bry, Sebastian Schaffert:
Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC 2004 - Sylvain Soliman:
Pi-calcul et LCC, une odyssée de l'espace. JFPLC 2004
Contraintes
- Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion:
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale. JFPLC 2004 - Michel Vasquez, Djamal Habet:
Algorithmes complet et incomplet pour la coloration des graphes de reines. JFPLC 2004 - Vincent Barichard, Jin-Kao Hao:
Recherche locale dichotomique pour la résolution des CSP continus. JFPLC 2004 - Gérard Ferrand, Arnaud Lallouet:
Une représentation déclarative des consistances de CSPs. JFPLC 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: