Talks and Poster Presentations (with Proceedings-Entry):

U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
"Conformant Planning as a Case Study of Incremental QBF Solving";
Talk: Artificial Intelligence and Symbolic Computation, Sevilla, Spanien; 2014-12-11 - 2014-12-13; in: "Lecture Notes in Computer Science", Springer, Volume 8884 of LNAI (2014), ISBN: 978-3-319-13770-4; 118 - 129.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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.