Thierry Le Provost

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Mark Wallace, Stéphane Bressan, Thierry Le Provost
Magic Checking: Constraint Checking for Database Query Optimization. CDB (1995)
Thierry Le Provost, Mark Wallace
Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16 (3) (1993)
Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School (1992)
Mark Wallace, Thierry Le Provost
CHIP and Propia. LPAR (1992)
Thierry Le Provost, Mark Wallace
Domain Independent Propagation. FGCS (1992)
Pascal Van Hentenryck, Thierry Le Provost
Incremental Search in Constraint Logic Programming. New Gener. Comput. 9 (3/4) (1991)