On Approximate Horn Formula Minimization
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

Amitava Bhattacharya, Bhaskar DasGupta, Dhruv Mubayi, György Turán
On Approximate Horn Formula Minimization
ICALP, 2010.

ICALP v1 2010
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ICALP-v1-2010-BhattacharyaDMT,
	author        = "Amitava Bhattacharya and Bhaskar DasGupta and Dhruv Mubayi and György Turán",
	booktitle     = "{Proceedings of the 37th International Colloquium on Automata, Languages and Programming, Part I}",
	doi           = "10.1007/978-3-642-14165-2_38",
	isbn          = "978-3-642-14164-5",
	pages         = "438--450",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{On Approximate Horn Formula Minimization}",
	volume        = 6198,
	year          = 2010,
}

Tags:



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.