@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}
}