%0 Book Section %1 reference/mc/BarrettT18 %A Barrett, Clark W. %A Tinelli, Cesare %B Handbook of Model Checking %D 2018 %E Clarke, Edmund M. %E Henzinger, Thomas A. %E Veith, Helmut %E Bloem, Roderick %I Springer %K dblp %P 305-343 %T Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BarrettT18 %@ 978-3-319-10575-8

@incollection{reference/mc/BarrettT18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/224791cc84cd594c607804ea7ca5fe475/dblp}, booktitle = {Handbook of Model Checking}, crossref = {reference/mc/2018}, editor = {Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick}, ee = {https://doi.org/10.1007/978-3-319-10575-8_11}, interhash = {6fe5bf0d2edb738c8e235af9e7c974c4}, intrahash = {24791cc84cd594c607804ea7ca5fe475}, isbn = {978-3-319-10575-8}, keywords = {dblp}, pages = {305-343}, publisher = {Springer}, timestamp = {2024-04-09T07:38:27.000+0200}, title = {Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BarrettT18}, year = 2018 }