@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-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 here.}
}