Conflict-Driven Disjunctive Answer Set Solving
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
Conflict-Driven Disjunctive Answer Set Solving
KR, 2008.

KR 2008
Full names Links ISxN
	author        = "Christian Drescher and Martin Gebser and Torsten Grote and Benjamin Kaufmann and Arne König and Max Ostrowski and Torsten Schaub",
	booktitle     = "{Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning}",
	ee            = "",
	isbn          = "978-1-57735-384-3",
	pages         = "422--432",
	publisher     = "{AAAI Press}",
	title         = "{Conflict-Driven Disjunctive Answer Set Solving}",
	year          = 2008,


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.