On Solving Boolean Combinations of Generalized 2SAT Constraints
Sanjit A. Seshia, K. Subramani, and Randal E. Bryant. On Solving Boolean Combinations of Generalized 2SAT Constraints. Technical Report CMU-CS-04-179, Carnegie Mellon University, 2004.
Download
Abstract
(unavailable)
BibTeX
@TechReport{seshia-tr04, author = "Sanjit A. Seshia and K. Subramani and Randal E. Bryant", title = "On Solving {Boolean} Combinations of Generalized {2SAT} Constraints", institution = {Carnegie Mellon University}, year = {2004}, number = {CMU-CS-04-179}, }