Satisfiability Modulo Theories

Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli. Satisfiability Modulo Theories. In Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability, pp. 1267–1329, IOS Press, 2021. Second edition.

The handbook is available at https://www.iospress.nl/book/handbook-of-satisfiability-2/ and the Version of Record is available at https://ebooks.iospress.nl/ISBN/978-1-64368-161-0/. First edition version available here.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@incollection{barrett-smtbookch21,
  author    = "Clark Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli",
  title     = "Satisfiability Modulo Theories",
  booktitle = "Handbook of Satisfiability",
  publisher = "IOS Press",
  edition = "Second",
  chapter   = 33,
  pages = "1267--1329",
  editor    = "Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh",
  year      = 2021,
  wwwnote = {First edition version available <a href="https://people.eecs.berkeley.edu/~sseshia/pubs/b2hd-barrett-smtbookch09.html">here</a>.}
}