Exotic Semi-Ring Constraints
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann
Exotic Semi-Ring Constraints
SMT, 2012.

SMT 2012
Full names Links ISxN
	author        = "Michael Codish and Yoav Fekete and Carsten Fuhs and Jürgen Giesl and Johannes Waldmann",
	booktitle     = "{Proceedings of the 10th International Workshop on Satisfiability Modulo Theories}",
	ee            = "http://www.easychair.org/publications/?page=1426153132",
	pages         = "88--97",
	publisher     = "{EasyChair}",
	series        = "{EPiC Series}",
	title         = "{Exotic Semi-Ring Constraints}",
	volume        = 20,
	year          = 2012,


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.