raSAT: SMT for Polynomial Inequality
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

To Van Khanh, Vu Xuan Tung, Mizuhito Ogawa
raSAT: SMT for Polynomial Inequality
SMT, 2014.

SMT 2014
no DBLP info
Full names Links ISxN
	author        = "To Van Khanh and Vu Xuan Tung and Mizuhito Ogawa",
	booktitle     = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}",
	editor        = "Philipp Rümmer and Christoph M. Wintersteiger",
	openpdf       = "http://ceur-ws.org/Vol-1163/paper-11.pdf",
	pages         = "67",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{raSAT: SMT for Polynomial Inequality}",
	url           = "http://ceur-ws.org/Vol-1163/#paper-11",
	volume        = 1163,
	year          = 2014,


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.