[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
St. Szeider:
"The Parameterized Complexity of Propositional Satisfiability";
Hauptvortrag: Statistical Mechanics of Unsatisfiability and Glasses, Ferry Stockholm-Mariehamn and Hotel Arkipelag, Mariehamn, Åland (eingeladen); 23.05.2012 - 26.05.2012.

Zugeordnete Projekte:
Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.