- David Déharbe, Pascal Fontaine and Bruno Woltzenlogel Paleo.
Quantifier Inference Rules for SMT proofs
Workshop on Proof eXchange for Theorem Proving (PxTP),
2011.
Preprint:
pdf
bibtex
- David Déharbe, Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo.
Exploiting symmetry in SMT problems
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors,
In Proc. Conference on Automated Deduction (CADE),
volume 6803 of LNCS. pages 222--236,
Springer-Verlag, 2011.
Preprint:
pdf
bibtex
Long version:
pdf
bibtex
- Diego Caminha B. de Oliveira, David Déharbe and Pascal Fontaine.
Combining decision procedures by (model-)equality propagation.
Science of Computer Programming, 2011. To Appear.
Preprint:
pdf
bibtex
- Thomas Bouton, Diego Caminha B. de Oliveira, David
Déharbe and Pascal Fontaine.
GridTPT: a distributed platform for
Theorem Prover Testing, In Boris Konev, Renate Schmidt and Stephan
Schulz, editors,
In Proc. Workshop on Practical Aspects of Automated Reasoning
2010.
Preprint:
pdf
bibtex
- Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe
and Pascal Fontaine.
veriT: an open, trustable and efficient SMT-solver.
In Renate A. Schmidt, editor,
In Proc. Conference on Automated Deduction (CADE), volume
5663 of LNCS, pages 151--156. Springer-Verlag, 2009.
Preprint:
pdf
bibtex
