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