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;
2013-07-09; 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.