Sanjit A. Seshia, K. Subramani, Randal E. Bryant
On Solving Boolean Combinations of UTVPI Constraints
SMT, 2007.
@article{SMT-J-2006-SeshiaSB,
author = "Sanjit A. Seshia and K. Subramani and Randal E. Bryant",
ee = "http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_5_Seshia.pdf",
journal = "{Journal on Satisfiability, Boolean Modeling and Computation}",
number = "1-2",
pages = "67--90",
title = "{On Solving Boolean Combinations of UTVPI Constraints}",
volume = 3,
year = 2007,
}