Sacre: a Constraint Satisfaction Problem Based Theorem Prover.

Jean-Michel Richer, Jean-Jacques Chabrier

Browse the full AAAI paper archive.