@misc{indiciae3cd1d9717939,
  title = {The QBF Gallery: Behind the Scenes},
  author = {Florian Lonsing and Martina Seidl and Allen Van Gelder},
  year = {2016},
  doi = {10.1016/j.artint.2016.04.002},
  url = {https://arxiv.org/abs/1508.01045},
  note = {Source identifier: 1508.01045}
}