Quantifier reordering for QBF

Slivovsky, Friedrich; Szeider, Stefan

doi:10.1007/s10817-015-9353-1

by Friedrich Slivovsky, Stefan Szeider

Reference:

Quantifier reordering for QBFFriedrich Slivovsky, Stefan SzeiderJournal of Automated Reasoning, volume 56, number 4, pages 459–477, 2016.

Bibtex Entry:

@string{jar="Journal of Automated Reasoning"}
@article {SlivovskySzeider16a,
    author = {Slivovsky, Friedrich and Szeider, Stefan},
     title = {Quantifier reordering for {QBF}},
   journal = JAR,
    volume = {56},
      year = {2016},
    number = {4},
     pages = {459--477},
       doi = {10.1007/s10817-015-9353-1},
       url = {10.1007/s10817-015-9353-1">http://dx.doi.org/10.1007/s10817-015-9353-1},
}