[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Kronegger, A. Pfandler, R. Pichler:
"Conformant Planning as a Benchmark for QBF-Solvers";
Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 07-09-2013; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)", (2013), 5 pages.



Related Projects:
Project Head Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen


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