Vol 3 (2007)

Includes a Special Issue on Satisfiability Modulo Theories

Table of Contents

Articles

The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas PDF
Hans Kleine Buening, Xishun Zhao 1-17
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas PDF
Hans Kleine Buening, Xishun Zhao 115-123
It’s All about the Support: A New Perspective on the Satisfiability Problem PDF
Dan Vilenchik 125-139

Special Issue on Satisfiability Modulo Theories

Preface to Special Issue on Satisfiability Modulo Theories PDF
Byron Cook, Roberto Sebastiani
An Abstract Decision Procedure for a Theory of Inductive Data Types PDF
Clark Barrett, Igor Shikanian, Cesare Tinelli 21-46
Disequality Management in Integer Difference Logic via Finite Instantiations PDF
Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi 47-66
On Solving Boolean Combinations of UTVPI Constraints PDF
Sanjit A. Seshia, K. Subramani, Randal E. Bryant 67-90
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic PDF
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta 91-114
Lazy Satisfiability Modulo Theories PDF
Roberto Sebastiani 141-224