[Back]


Talks and Poster Presentations (without Proceedings-Entry):
St. Szeider:
"The Parameterized Complexity of Propositional Satisfiability";
Keynote Lecture: Statistical Mechanics of Unsatisfiability and Glasses, Ferry Stockholm-Mariehamn and Hotel Arkipelag, Mariehamn, Åland (invited); 2012-05-23 - 2012-05-26.

Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems

Created from the Publication Database of the Vienna University of Technology.