@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
@article{seshia-jsat07,
  author    = {Sanjit A. Seshia and
               K. Subramani and
               Randal E. Bryant},
  title     = {On Solving Boolean Combinations of {UTVPI} Constraints},
  journal   = {Journal on Satisfiability, Boolean Modeling and Computation (JSAT)},
  volume    = {3},
  number    = {1-2},
  year      = {2007},
  pages     = {67--90},
}