@misc{indiciae40347477df7a,
  title = {DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL},
  author = {Florian Lonsing and Uwe Egly},
  year = {2017},
  doi = {10.1007/978-3-319-63046-5\_23},
  url = {https://arxiv.org/abs/1702.08256},
  note = {Source identifier: 1702.08256}
}