Talks and Poster Presentations (with Proceedings-Entry):
St. Szeider:
"Capturing Structure in Hard Combinatorial Problems.";
Keynote Lecture: The IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies (ICTAI),
Washington D.C., USA (invited);
2013-11-04
- 2013-11-06; in: "Proceedings of the International Conference on Tools with Artificial Intelligence (ICTAI)",
(2013).
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_223524.pdf
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.