Publications in Scientific Journals:
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),
1
- 25.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10472-016-9501-2
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_256283.pdf
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.