TY  - RPRT
TI  - Search-Space Pruning with Int-Splits for Faster QBF Solving
AU  - Maximilian Heisinger
AU  - Irfansha Shaik
AU  - Martina Seidl
AU  - Jaco van de Pol
PY  - 2023
UR  - https://arxiv.org/abs/2304.08308
ID  - 2304.08308
ER  -