Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
S. Ordyniak, D. Paulusma, St. Szeider:
"Satisfiability of Acyclic and Almost Acyclic CNF Formulas";
Vortrag: Theory and Application of Satisfiability Testing -- SAT,
Ann Arbor, MI, USA;
19.06.2011
- 22.06.2011; in: "Theory and Applications of Satisfiability Testing - SAT 2011",
Lecture Notes in Computer Science,
6695
(2011),
S. 47
- 60.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-21581-0_6
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200956.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.