@article{LonsingB10-0,
  title = {DepQBF: A Dependency-Aware QBF Solver},
  author = {Florian Lonsing and Armin Biere},
  year = {2010},
  url = {http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_6_Lonsing.pdf},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/LonsingB10-0},
  cites = {0},
  citedby = {0},
  journal = {JSAT},
  volume = {7},
  number = {2-3},
  pages = {71-76},
}