@inproceedings{bnp/BogaertsJT16,
  author    = {Bart Bogaerts and
               Tomi Janhunen and
               Shahab Tasharrofi},
  title     = {Solving QBF Instances with Nested SAT Solvers},
  booktitle = {AAAI Workshops: First workshop on Beyond NP: Proceedings, 2016, Phoenix, Arizona, USA, February 12--13, 2016.},
  pages     = {307--313},
  year      = {2016},
  editor    = {Adnan Darwiche},
  publisher = {{AAAI} Press},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12603}
}