Proceedings of the 12th International Workshop on Satisfiability Modulo Theories
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Philipp Rümmer, Christoph M. Wintersteiger
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories
SMT-2014, 2014.

TEST
no DBLP info
Scholar
Full names Links ISxN
@proceedings{SMT-2014,
	address       = "Vienna, Austria",
	editor        = "Philipp Rümmer and Christoph M. Wintersteiger",
	pdfurl        = "http://ceur-ws.org/Vol-1163/",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}",
	urn           = "urn:nbn:de:0074-1163-4",
	volume        = 1163,
	year          = 2014,
}

Event page: http://smt2014.it.uu.se/

Contents (13 items)

SMT-2014-Barrett #named #question #smt
SMT: Where do we go from here? (CB), p. 1.
SMT-2014-FremontS #program analysis #smt
Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.
SMT-2014-PalikarevaC #execution #multi #symbolic computation
Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
SMT-2014-CarlssonGP #analysis #constraints #programming #protocol
Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
SMT-2014-LamC #reasoning #set
Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.
SMT-2014-ChristH #array
Weakly Equivalent Arrays (JC, JH), pp. 39–49.
SMT-2014-AlbertiGS #array
Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
SMT-2014-BonichonDT #morphism #polymorphism
Extending SMT-LIB v2 with λ-Terms and Polymorphism (RB, DD, CT), pp. 53–62.
SMT-2014-Melquiond #algorithm #automation #float #verification
Automating the Verification of Floating-Point Algorithms (GM), p. 63.
SMT-2014-KingBT #integer #linear #programming #smt
Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
SMT-2014-KhanhTO #difference #named #polynomial #smt
raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.
SMT-2014-KostaSD
Better Answers to Real Questions (MK, TS, AD), p. 69.
SMT-2014-KorovinKS #learning #towards
Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.

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.