A DPLL Algorithm for Solving DQBF (bibtex)
by Andreas Fröhlich, Gergely Kovásznai, Armin Biere
Reference:
A DPLL Algorithm for Solving DQBFAndreas Fröhlich, Gergely Kovásznai, Armin BiereProceedings of the 3rd International Workshop on Pragmatics of SAT (POS 2012), aff. to SAT 2012, 16 June 2012.
Bibtex Entry:
@inproceedings{FrohlichKovasznaiBierePOS2012,
  author    = {Andreas Fr\"ohlich and Gergely Kov\'asznai and Armin Biere},
  title     = {A {DPLL} Algorithm for Solving {DQBF}},
  booktitle = {Proceedings of the 3rd International Workshop on Pragmatics of SAT (POS 2012), aff. to SAT 2012},
  address   = {Trento, Italy},
  year      = {2012},
  month     = {16 June},
  URL       = {http://fmv.jku.at/papers/FroehlichKovasznaiBiere-POS12.pdf}
}
Powered by bibtexbrowser