@incollection{barrett2018satisfiability,
author = {Barrett, Clark and Tinelli, Cesare},
booktitle = {{Handbook of Satisfiability}},
date-added = {2020-11-16 00:11:53 -0800},
date-modified = {2020-11-16 00:13:06 -0800},
pages = {737--797},
publisher = {{IOS Press}},
title = {{Satisfiability Modulo Theories}},
year = {2008},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAmcGFwZXJzL2JhcnJldHQyMDE4c2F0aXNmaWFiaWxpdHktYS5wZGZPEQGkAAAAAAGkAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8fYmFycmV0dDIwMThzYXRpc2ZpYWJpbGl0eS1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACAEUvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmJhcnJldHQyMDE4c2F0aXNmaWFiaWxpdHktYS5wZGYAAA4AQAAfAGIAYQByAHIAZQB0AHQAMgAwADEAOABzAGEAdABpAHMAZgBpAGEAYgBpAGwAaQB0AHkALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBDVXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMvYmFycmV0dDIwMThzYXRpc2ZpYWJpbGl0eS1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQATQAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAH1}
}