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) |