Authors Search About

Richer, Jean-Michel

1 publications

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

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy