On Solving Boolean Combinations of UTVPI Constraints

Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving Boolean Combinations of UTVPI Constraints. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 3(1-2):67–90, 2007.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@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},
}