-
Partially Ordered Connectives and Monadic Monotone Strict NP
International audience -
Complexity of Existential Positive First-Order Logic
International audience -
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules & Strate...
Article dans revue scientifique avec comité de lecture. -
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language
Colloque avec actes et comité de lecture.
