@misc{indiciae7905a14a560f,
  title = {Expansion-Based QBF Solving Without Recursion},
  author = {Roderick Bloem and Nicolas Braud-Santoni and Vedad Hadzic and Uwe Egly and Florian Lonsing and Martina Seidl},
  year = {2018},
  url = {https://arxiv.org/abs/1807.08964},
  note = {Source identifier: 1807.08964}
}