TY  - RPRT
TI  - Expansion-Based QBF Solving Without Recursion
AU  - Roderick Bloem
AU  - Nicolas Braud-Santoni
AU  - Vedad Hadzic
AU  - Uwe Egly
AU  - Florian Lonsing
AU  - Martina Seidl
PY  - 2018
UR  - https://arxiv.org/abs/1807.08964
ID  - 1807.08964
ER  -