@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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",
  volume    = 4,
  chapter   = 8,
  editor    = "Armin Biere and Hans van Maaren and Toby Walsh",
  year      = 2009,
}