@misc{indiciae6b1f0133cc1a,
  title = {Search-Space Pruning with Int-Splits for Faster QBF Solving},
  author = {Maximilian Heisinger and Irfansha Shaik and Martina Seidl and Jaco van de Pol},
  year = {2023},
  url = {https://arxiv.org/abs/2304.08308},
  note = {Source identifier: 2304.08308}
}