Sacre: A Constraint Satisfaction Problem Based Theorem Prover

Richer and Chabrier. "Sacre: A Constraint Satisfaction Problem Based Theorem Prover." AAAI Conference on Artificial Intelligence, 1999.

[Richer and Chabrier. "Sacre: A Constraint Satisfaction Problem Based Theorem Prover." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/richer1999aaai-sacre/)

@inproceedings{richer1999aaai-sacre,
  title     = {{Sacre: A Constraint Satisfaction Problem Based Theorem Prover}},
  author    = {Richer, Jean-Michel and Chabrier, Jean-Jacques},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {306-311},
  url       = {https://mlanthology.org/aaai/1999/richer1999aaai-sacre/}
}