[Back]


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; 12-11-2014 - 12-13-2014; 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)
http://dx.doi.org/10.1007/978-3-319-13770-4_11



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.