@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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",
chapter = 26,
pages = "825--885",
editor = "Armin Biere and Hans van Maaren and Toby Walsh",
year = 2009,
}