Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
St. Szeider:
"Capturing Structure in Hard Combinatorial Problems.";
Hauptvortrag: The IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies (ICTAI),
Washington D.C., USA (eingeladen);
04.11.2013
- 06.11.2013; in: "Proceedings of the International Conference on Tools with Artificial Intelligence (ICTAI)",
(2013).
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_223524.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.