Satisfiability Modulo Theories

Clark Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli. Satisfiability Modulo Theories. In Armin Biere, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability, IOS Press, 2009.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@incollection{barrett-smtbookch09,
  author    = "Clark Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli",
  title     = "Satisfiability Modulo Theories",
  booktitle = "Handbook of Satisfiability",
  publisher = "IOS Press",
  chapter   = 26,
  pages = "825--885",
  editor    = "Armin Biere and Hans van Maaren and Toby Walsh",
  year      = 2009,
}