Scalable fine-grained proofs for formula processing, Journal of Automated Reasoning, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01526841
, Ganesh Gopalakrishnan and Shaz Qadeer, vol.6806, pp.171-177, 2011.
Proofs in satisfiability modulo theories, APPA 2014, vol.55, pp.23-44, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
The Satisfiability Modulo Theories Library (SMT-LIB), 2016. ,
Satisfiability modulo theories, Handbook of Satisfiability, vol.185, pp.825-885, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
A flexible proof format for SMT: A proposal, pp.15-26, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00642544
Proving Theorems of Higher-Order Logic with SMT Solvers, 2012. ,
veriT: An open, trustable and efficient SMT-solver, LNCS, vol.5663, pp.151-156, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00430634
Z3: An efficient SMT solver, LNCS, vol.4963, pp.337-340, 2008. ,
Quantifier inference rules for SMT proofs, pp.33-39, 2011. ,
SMTCoq: A plug-in for integrating SMT solvers into Coq, LNCS, vol.10426, pp.126-133, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01669345