Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Ordyniak, D. Paulusma, St. Szeider:
"Satisfiability of Acyclic and Almost Acyclic CNF Formulas";
Vortrag: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science,
Chennai, India;
15.12.2010
- 18.12.2010; in: "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)",
K. Lodaya, M. Mahajan (Hrg.);
Leibniz International Proceedings in Informatics (LIPIcs),
(2010),
ISSN: 1868-8969;
S. 84
- 95.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.84
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.