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

[HTML] 

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