Zeitschriftenartikel:
U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
"Conformant Planning as a Case Study of Incremental QBF Solving";
Annals of Mathematics and Artificial Intelligence,
TBA
(2016),
S. 1
- 25.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10472-016-9501-2
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_256283.pdf
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.