| 1995 |
|---|
| 6 | | Mark Wallace,
Stéphane Bressan,
Thierry Le Provost:
Magic Checking: Constraint Checking for Database Query Optimization.
CDB 1995: 148-166 |
| 1993 |
|---|
| 5 | | Thierry Le Provost,
Mark Wallace:
Generalized Constraint Propagation over the CLP Scheme.
J. Log. Program. 16(3): 319-359 (1993) |
| 1992 |
|---|
| 4 | | Thierry Le Provost,
Mark Wallace:
Domain Independent Propagation.
FGCS 1992: 1004-1011 |
| 3 | | Mark Wallace,
Thierry Le Provost:
CHIP and Propia.
LPAR 1992: 507-509 |
| 2 | | Thom W. Frühwirth,
Alexander Herold,
Volker Küchenhoff,
Thierry Le Provost,
Pierre Lim,
Eric Monfroy,
Mark Wallace:
Contraint Logic Programming - An Informal Introduction.
Logic Programming Summer School 1992: 3-35 |
| 1991 |
|---|
| 1 | | Pascal Van Hentenryck,
Thierry Le Provost:
Incremental Search in Constraint Logic Programming.
New Generation Comput. 9(3/4): 257-276 (1991) |
