Abstract is missing.
- Large combinatorial optimization problem methodology for hybrid models and solutionsCarmen Gervet. 9
- Correction et complétude des sémantiques PLC revisitée par (co)-inductionGérard Ferrand, Alexandre Tessier. 19
- University timetabling using constraint handling rulesSlim Abdennadher, Michael Marte. 39-50
- Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintesMarc Bernard, François Jacquenet. 51-76
- Un système coopératif pour la résolution de contraintes géométriquesStéphane Channac. 77-94
- Résolution d un problème de découpe à deux dimensions en programmation logique avec contraintesIsabelle Jacques, Bruno Legeard, Laurent Py. 95
- Rule-based restructuring and summarizing in multidimensional data-basesMohand-Said Hacid, Patrick Marcel, Christophe Rigotti. 115-134
- Unification des sémantiques usuelles de programmes logiquesYann Loyer, Nicolas Spyratos, Daniel Stamate. 135-150
- Pilotage d un méta-interprète ensembliste par une trace relationelle pour le débogage de bases de données déductivesSarah Mallet, Mireille Ducassé. 151
- Résolution incrémentale d équations linéaires dans ZPatricia Mainguet. 169-184
- Acceleration methods for numeric CSPsYahia Lebbah, Olivier Lhomme. 185-198
- Optimisation des Q-matrices pour la résolution de contraintes linéairesDavid-Olivier Azulay, Jean François Pique. 199
- DF - a feature constraint system and its extension to a logic concurrent languageLiviu-Virgil Ciortuz. 215-230
- Utilisation du backtrack intelligent dans un branch-and-bound. Application au problème d Open-ShopNarendra Jussien, Christelle Guéret. 231-250
- Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patielLotfi Berkaoui, Bruno Legeard. 251
- Inférer et compiler la terminaison des programmes logiques avec contraintesSébastien Hoarau, Frédéric Mesnard. 269-286
- Compilation abstraite de LambdaPrologFrédéric Malésieux, Olivier Ridoux, Patrice Boizumault. 287