@inproceedings{KroneggerPP13-qbf, author = {Martin Kronegger and Andreas Pfandler and Reinhard Pichler}, title = {Conformant Planning as a Benchmark for {QBF}-Solvers}, booktitle = {Proc. of the International Workshop on Quantified Boolean Formulas (QBF 2013) colocated with SAT 2013}, year = {2013}, editorOFF = {Florian Lonsing and Martina Seidl}, pages = {1--5} ee = {http://fmv.jku.at/qbf2013/reportQBFWS13.pdf}, }