@misc{indiciaedb9071066085,
  title = {Solving Dependency Quantified Boolean Formulas Using Quantifier Localization},
  author = {Aile Ge-Ernst and Christoph Scholl and Juraj Síč and Ralf Wimmer},
  year = {2021},
  url = {https://arxiv.org/abs/1905.04755},
  note = {Source identifier: 1905.04755}
}