TY  - RPRT
TI  - Conformant Planning as a Case Study of Incremental QBF Solving
AU  - Uwe Egly
AU  - Martin Kronegger
AU  - Florian Lonsing
AU  - Andreas Pfandler
PY  - 2016
DO  - 10.1007/978-3-319-13770-4_11
UR  - https://arxiv.org/abs/1405.7253
ID  - 1405.7253
ER  -