Journal on Satisfiability, Boolean Modeling and Computation, Volume 3

Volume 3, Number 1-2, June 2007

including a Special Issue on Satisfiability Modulo Theories

Hans Kleine Büning, Xishun Zhao:
The Complexity of Some Subclasses of Minimal Unsatis able Formulas. 1-17
Electronic Edition (link) BibTeX
Byron Cook, Roberto Sebastiani:
Preface.
Electronic Edition (link) BibTeX
Clark Barrett, Igor Shikanian, Cesare Tinelli:
An Abstract Decision Procedure for a Theory of Inductive Data Types. 21-46
Electronic Edition (link) BibTeX
Hyondeuk Kim, HoonSang Jin, Fabio Somenzi:
Disequality Management in Integer Difference Logic via Finite Instantiations. 47-66
Electronic Edition (link) BibTeX
Sanjit A. Seshia, K. Subramani, Randal E. Bryant:
On Solving Boolean Combinations of UTVPI Constraints. 67-90
Electronic Edition (link) BibTeX
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta:
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. 91-114
Electronic Edition (link) BibTeX

Hans Kleine Büning, Xishun Zhao:
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas. 115-123
Electronic Edition (link) BibTeX
Dan Vilenchik:
It's All about the Support: A New Perspective on the Satisfiability Problem. 125-139
Electronic Edition (link) BibTeX
Roberto Sebastiani:
Lazy Satisability Modulo Theories. 141-224
Electronic Edition (link) BibTeX