Byron Cook, Roberto Sebastiani
Special Issue on Satisfiability Modulo Theories
SMT-J-2006, 2007.

@proceedings{SMT-J-2006,
	editor        = "Byron Cook and Roberto Sebastiani",
	ee            = "http://jsat.ewi.tudelft.nl/content/volume3/JSAT%20Volume%203.zip",
	journal       = "{Journal on Satisfiability, Boolean Modeling and Computation}",
	number        = "1-2",
	title         = "{Special Issue on Satisfiability Modulo Theories}",
	volume        = 3,
	year          = 2007,
}

Contents (4 items)

2 ×#difference
2 ×#logic

SMT-J-2006-BarrettST #data type #formal method #induction

An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.

SMT-J-2006-KimJS #difference #finite #integer #logic

Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.

SMT-J-2006-SeshiaSB #constraints #on the

On Solving Boolean Combinations of UTVPI Constraints (SAS, KS, REB), pp. 67–90.

SMT-J-2006-GanaiTG #difference #encoding #integration #lazy evaluation #logic #named

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.