Thierry Le Provost

Generalized Constraint Propagation over the CLP Scheme

Mark Wallace, Thierry Le Provost, M. Wallace, 1993, J. Log. Program..

Magic Checking: Constraint Checking for Database Query Optimization

Stéphane Bressan, Mark Wallace, Thierry Le Provost, 1995, CDB.

CHIP and Propia

Mark Wallace, Thierry Le Provost, 1992, LPAR.

Incremental search in Constraint Logic Programming

Pascal Van Hentenryck, Thierry Le Provost, T. L. Provost, 1991, New Generation Computing.

Contraint Logic Programming - An Informal Introduction

Thom W. Frühwirth, Mark Wallace, Eric Monfroy, 1992, Logic Programming Summer School.

Domain Independent Propagation

Mark Wallace, Thierry Le Provost, M. Wallace, 1992, FGCS.

Constraint Logic Programming B An Informal Introduction *

Mark Wallace, Eric Monfroy, Thierry Le Provost, 2005 .

Integrating Propagation and Built-in Constraints 1 Background and Motivation 1.1 Motivation

Thierry Le Provost, M. Wallace, T. L. Provost, 1992 .