@misc{indiciaecbc5f316b337,
  title = {QBF Solving by Counterexample-guided Expansion},
  author = {Roderick Bloem and Nicolas Braud-Santoni and Vedad Hadzic},
  year = {2018},
  url = {https://arxiv.org/abs/1611.01553},
  note = {Source identifier: 1611.01553}
}