Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Kronegger, A. Pfandler, R. Pichler:
"Conformant Planning as a Benchmark for QBF-Solvers";
Vortrag: International Workshop on Quantified Boolean Formulas,
Helsinki;
09.07.2013; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)",
(2013),
5 S.
Zugeordnete Projekte:
Projektleitung Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.