Thierry Le Provost

According to our database, Thierry Le Provost authored at least 6 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Magic Checking: Constraint Checking for Database Query Optimization.

Mark Wallace, Stéphane Bressan, Thierry Le Provost

Proceedings of the Constraint Databases and Applications, 1995

1993

Generalized Constraint Propagation over the CLP Scheme.

Thierry Le Provost, Mark Wallace

J. Log. Program., 1993

1992

Contraint Logic Programming - An Informal Introduction.

Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace

Proceedings of the Logic Programming in Action, 1992

CHIP and Propia.

Mark Wallace, Thierry Le Provost

Proceedings of the Logic Programming and Automated Reasoning, 1992

Domain Independent Propagation.

Thierry Le Provost, Mark Wallace

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Incremental Search in Constraint Logic Programming.

Pascal Van Hentenryck, Thierry Le Provost

New Gener. Comput., 1991