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)
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.