Thierry Sola

Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes

François Fages, Julian Fowler, Thierry Sola, 1995, JFPLC.

The Versatility of Handling Disjunctions as Constraints

Jean Jourdan, Thierry Sola, 1993, PLILP.

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking

Philippe Codognet, François Fages, Thierry Sola, 1993, WCLP.

A Reactive Constraint Logic Programming Scheme

François Fages, Julian Fowler, Thierry Sola, 1995, ICLP.

Handling Preferences in Constraint Logic Programming with Relational Optimization

François Fages, Julian Fowler, Thierry Sola, 1994, PLILP.

Experiments in Reactive Constraint Logic Programming

François Fages, Julian Fowler, Thierry Sola, 1998, J. Log. Program..

Extending the WAM for Intelligent Backtracking

Philippe Codognet, Thierry Sola, 1991, ICLP.