JFPLC 2003: Amiens, France

Mireille Ducassé (Ed.): Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. Hermes/Lavoisier 2003, ISBN 2-7462-0739-7

@proceedings{DBLP:conf/jfplc/2003,
  editor    = {Mireille Ducass{\'e}},
  title     = {Journ{\'e}es Francophones de Programmation en Logique avec
               Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003},
  booktitle = {JFPLC},
  publisher = {Hermes/Lavoisier},
  year      = {2003},
  isbn      = {2-7462-0739-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Présentation Invitée

Christian Timpe: A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry. 15

Approches Hybrides

Juliette Mattioli, Konstantin Artiouchine: Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques. 19-32
Vincent Barichard, Jin-Kao Hao: Une approche hybride pour l'optimisation multi-objectif sous contraintes. 33-46

Enseignement

Catherine Belleannée, Olivier Ridoux: Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. 49-62
Narendra Jussien: L'enseignement de la programmation logique à l'Ecole des Mines de Nantes. 63-75
Christine Solnon: Un cours "électronique" sur la programmation par contraintes. 77-80

Environnements

Nicolas Museux, Laurent Jeannin, Pierre Savéant, Fabien Le Huédé, François-Xavier Josset, Juliette Mattioli: Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées. 83-96
Ludovic Langevine, Pierre Deransart: Un nouveau traceur générique pour GNU-Prolog. 97-110
Samir Ouis, Narendra Jussien, Patrice Boizumault: Explications k-relevantes pour la programmation par contraintes. 111-124
Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali: Apprentissage de solveurs de contraintes sur les domaines finis. 125-138

Applications

François Laburthe, Yves Caseau: De l'utilité des contraintes pour explorer des catalogues. 141-154
Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. 155-168
Samir Loudni, Patrice Boizumault, Philippe David: Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. 169-182
Laurent Jeannin, Simon de Givry: Optimisation des évolutions d'un réseau télécoms. 183-186

Compilation

Lucas Bordeaux, Eric Monfroy: Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. 189-202
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet: Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. 203-216
Fabrice Ambert, Sébastien Chemin, Bruno Legeard: Intégration de domaines à variables dans un solveur de contraintes ensemblistes. 217-220

Symétries

Jean-Francois Puget: Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels. 223-236
Guillaume Arnaud: Implantation de SBDS en GNU-Prolog. 237-250

Algorithmes

Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. 253-266
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery: De AC3 à AC7. 267-280
Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion: Evolution + Adaptation = Résolution. 281-294
François Laburthe: Des contraintes sur des ontologies. 295-298
Daniel Goossens: Bipartitions et équations linéaires. 299-302
Mustapha Belaïssaoui, Houssine Bouyakhf: L'optimalité de l'algorithme "Distributed Intelligent Backtracking". 303-306
Moussa Demba, Francis Alexandre, Khaled Bsaïes: Correction de Conjectures Fausses par Synthèse de Programmes. 307-310

Last update Tue Feb 14 04:06:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page