Proofs in satisfiability modulo theories

Clark W. Barrett, Leonardo de Moura, Pascal Fontaine
[ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

All about Proofs, Proofs for All
Mathematical Logic and Foundations, volume 55
College Publications
London, UK
Pages 23-44
January 2015
Note(s): SMT solver
Papers: stump:fmsd:2013, brummayer:sat:2010, mansur:arxiv:2020

SMT solver