Ceci est une ancienne révision du document !

Table des matières

Research

Research

Member of the Database group.

Former member of the Constraintes group at INRIA Rocquencourt (2000-2005).

Topics

Publications

Publication list: at LIRIS since 2006, before 2006.

PhD Thesis (in french): manuscript,slides.

Software

SATMiner: Software for finding interesting pattern using constraint programming and SAT backend.
TCLP: A typing softer for contraint logic languages and CHR.