Abstract is missing.
- A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industryChristian Timpe. 15
- Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiquesJuliette Mattioli, Konstantin Artiouchine. 19-32
- Une approche hybride pour l optimisation multi-objectif sous contraintesVincent Barichard, Jin-Kao Hao. 33-46
- Programmation, logique et calcul: Présentation d un enseignement de maîtrise d informatiqueCatherine Belleannée, Olivier Ridoux. 49-62
- L enseignement de la programmation logique à l Ecole des Mines de NantesNarendra Jussien. 63-75
- Un cours électronique sur la programmation par contraintesChristine Solnon. 77-80
- Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d optimisation combinatoires embarquéesNicolas Museux, Laurent Jeannin, Pierre Savéant, Fabien Le Huédé, François-Xavier Josset, Juliette Mattioli. 83-96
- Un nouveau traceur générique pour GNU-PrologLudovic Langevine, Pierre Deransart. 97-110
- Explications k-relevantes pour la programmation par contraintesSamir Ouis, Narendra Jussien, Patrice Boizumault. 111-124
- Apprentissage de solveurs de contraintes sur les domaines finisArnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali. 125-138
- De l utilité des contraintes pour explorer des cataloguesFrançois Laburthe, Yves Caseau. 141-154
- Model Checking symbolique de réseaux bio-chimiquesNathalie Chabrier, François Fages. 155-168
- Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATMSamir Loudni, Patrice Boizumault, Philippe David. 169-182
- Optimisation des évolutions d un réseau télécomsLaurent Jeannin, Simon de Givry. 183-186
- Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissancesLucas Bordeaux, Eric Monfroy. 189-202
- Un format fédérateur pour l évaluation de spécifications formelles en programmation logique avec contraintesFabrice Bouquet, Bruno Legeard, Nicolas Vacelet. 203-216
- Intégration de domaines à variables dans un solveur de contraintes ensemblistesFabrice Ambert, Sébastien Chemin, Bruno Legeard. 217-220
- Cassure de symétries à base de stabilisateurs : Application aux CSP matricielsJean-Francois Puget. 223-236
- Implantation de SBDS en GNU-PrologGuillaume Arnaud. 237-250
- Contraintes de sous-typage dans les quasi-treillisEmmanuel Coquery, François Fages. 253-266
- De AC3 à AC7Christophe Lecoutre, Frédéric Boussemart, Fred Hemery. 267-280
- Evolution + Adaptation = RésolutionVincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion. 281-294
- Des contraintes sur des ontologiesFrançois Laburthe. 295-298
- Bipartitions et équations linéairesDaniel Goossens. 299-302
- L optimalité de l algorithme Distributed Intelligent Backtracking Mustapha Belaïssaoui, Houssine Bouyakhf. 303-306
- Correction de Conjectures Fausses par Synthèse de ProgrammesMoussa Demba, Francis Alexandre, Khaled Bsaïes. 307-310