@misc{indiciae4d2a46aaf881,
  title = {Automated Benchmarking of Incremental SAT and QBF Solvers},
  author = {Uwe Egly and Florian Lonsing and Johannes Oetsch},
  year = {2015},
  doi = {10.1007/978-3-662-48899-7\_13},
  url = {https://arxiv.org/abs/1506.08563},
  note = {Source identifier: 1506.08563}
}