Chabrier, Jean-Jacques

2 publications

AAAI 1999 Sacre: A Constraint Satisfaction Problem Based Theorem Prover Jean-Michel Richer, Jean-Jacques Chabrier

AAAI 1996 Approximate Resolution of Hard Numbering Problems Olivier Bailleux, Jean-Jacques Chabrier