@inproceedings{barrett:hal-01095009, TITLE = {{Proofs in satisfiability modulo theories}}, AUTHOR = {Barrett, Clark and de Moura, Leonardo and Fontaine, Pascal}, URL = {https://inria.hal.science/hal-01095009}, BOOKTITLE = {{APPA (All about Proofs, Proofs for All)}}, ADDRESS = {Vienna, Austria}, YEAR = {2014}, MONTH = Jul, HAL_ID = {hal-01095009}, HAL_VERSION = {v1}, }