Abstract is missing.
- Preface9
- Du filtrage optimal à la stabilité parfaitePascal Van Hentenryck. 11
- Raisonnement sur les propriétés de contraintes numériquesLucas Bordeaux, Eric Monfroy, Frédéric Benhamou. 13
- Résolution de problèmes non linéaires avec continuum de solutionsXuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi. 27
- Quelques applications de la propagation de contraintes sur les domaines continus en automatiqueLuc Jaulin, Marc Christie, Laurent Granvilliers. 43
- Optimisation par colonies de fourmis pour la programmation logique étenduePascal Nicolas, Frédéric Saubion, Igor Stéphan. 57
- Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent SystemsAbdessamad Imine, Yahya Slimani, Sorin Stratulat. 71
- Non-Termination Inference for Optimal Termination Conditions of Logic ProgramsFrédéric Mesnard, Étienne Payet, Ulrich Neumerkel. 87
- Explications conviviales pour la programmation par contraintesSamir Ouis, Narendra Jussien, Olivier Lhomme. 105
- Analyse automatisée de traces d exécution de programmes CLP(FD)Mireille Ducassé, Ludovic Langevine. 119
- Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentationLudovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier. 135
- Résolution d un problème de conception de réseau avec Parallel SolverJean-Charles Régin. 151
- Modélisation de systèmes biologiques en programmation concurrente par contraintes hybridesAlexander Bockmayr, Arnaud Courtois. 167
- Representation of soft constraints by hard constraintsJean-Charles Régin, Jean-Francois Puget, Thierry Petit. 181
- Amortized Non-Systematic Search AlgorithmsOlivier Lhomme. 199
- Généralisations correctes pour l induction mathématiquePascal Urso, Emmanuel Kounalis. 211
- Découverte de lemmes par instanciation de métavariables dans les preuves par récurrenceMoussa Demba, Khaled Bsaïes. 227
- Réécriture de programmes C--en équations logiquesOlivier Ponsini. 241
- Using Program Analysis for Integration and Optimization of Rule-based Constraint SolversSlim Abdennadher, Thom W. Frühwirth. 257
- Surcharge et sous-typage dans TCLPEmmanuel Coquery, François Fages. 273
- Arbre d itérations chaotiques pour décrire la résolution des CSPJulien Arsouze, Gérard Ferrand, Arnaud Lallouet. 289