Préface .................................................. 7

Conférence invitée

Large combinatorial optimization problem methodology for hybrid models and solutions

Carmen GERVET ................................................. 9

Correction et complétude des sémantiques PLC revisitée par (co)-induction

Gérard FERRAND, Alexandre TESSIER ....................... 19

Applications

University timetabling using constraint handling rules

Slim ABDENNADHER, Michael MARTE ............................ 39

Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes

Marc BERNARD, Francois JACOUENET ............................. 51

Un système coopératif pour la résolution de contraintes géométriques

Stéphane CHANNAC ...................................... 77

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes

Isabelle JACOUES, Bruno LEGEARD, Laurent PY ................... 95

Bases de données

Rule-based restructuring and summarizing in multidimensional data-bases

Mohand-Saïd HACID, Patrick MARCEL, Christophe RIGOTTI ...... 115

Unification des sémantiques usuelles de programmes logiques

Yann LOYER, Nicolas SPYRATOS, Daniel STAMATE ................. 135

Pilotage d'un méta-interprète ensembliste par une trace

"relationnelle" pour le déblocage de bases de données déductives

Sarah MALLET, Mireille DUCASSÉ ....................... 151

Contraintes numériques

Résolution incrémentale d'équations linéaires dans Z

Patricia MAINGUET ............................................ 169

Acceleration methods for numeric CSPs

Yahia LEBBAH, Olivier LHOMME ................................. 185

Optimisation des Q-matrices pour la résolution de contraintes linéaires

David-Olivier AZULAY, Jean-François PIOUE ............ 199

DF- a feature constraint system and its extension to a logic concurrent language

Liviu-Virgil CIORTUZ ................................. 215

Utilisation du backtrack intelligent dans un branch-and-bound.

Application au problème d'Open-Shop

Narendra JUSSIEN, Christelle GUÉRET ................... 231

Représentation de séquences définies sur des ensembles non instanciés par arbre PQR partiel

Lotfi BERKAOUI, Bruno LEGEARD ......................... 251

Analyse statique

Inférer et compiler la terminaison des programmes logiques avec contraintes

Sébastien HOARAU, Fred MESNARD ....................... 269