@misc{indiciae8cfa49e3c1b4,
  title = {Incremental QBF Solving},
  author = {Florian Lonsing and Uwe Egly},
  year = {2014},
  doi = {10.1007/978-3-319-10428-7\_38},
  url = {https://arxiv.org/abs/1402.2410},
  note = {Source identifier: 1402.2410}
}