Special Issue on Satisfiability Modulo Theories
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

no DBLP info
Full names Links ISxN
	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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.