Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
St. Szeider:
"SAT Approach to Clique-Width";
Vortrag: Workshop on Graph Classes, Optimization, and Width Parameters (GROW),
Santorini Island, Greece;
09.10.2013
- 11.10.2013.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_223528.pdf
Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.