## Notes related to Proofs in satisfiability modulo theories

## Papers related to Proofs in satisfiability modulo theories

- SMT proof checking using a logical framework [stump:fmsd:2013]

Interesting papers

[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

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 proof checking using a logical framework [stump:fmsd:2013]

The opinions expressed are my own views and not my employer’s.