TY  - RPRT
TI  - Classical Planning as QBF without Grounding (extended version)
AU  - Irfansha Shaik
AU  - Jaco van de Pol
PY  - 2021
UR  - https://arxiv.org/abs/2106.10138
ID  - 2106.10138
ER  -