Backdoor sets of quantified Boolean formulas

Samer, Marko; Szeider, Stefan

doi:10.1007/s10817-008-9114-5

by Marko Samer, Stefan Szeider

Reference:

Backdoor sets of quantified Boolean formulasMarko Samer, Stefan SzeiderJournal of Automated Reasoning, volume 42, number 1, pages 77–97, 2009.

Bibtex Entry:

@string{jar="Journal of Automated Reasoning"}
@article{SamerSzeider09a,
    author = {Samer, Marko and Szeider, Stefan},
     title = {Backdoor sets of quantified {B}oolean formulas},
   journal = JAR,
    volume = 42,
      year = 2009,
    number = 1,
     pages = {77--97},
    url   = {https://www.ac.tuwien.ac.at/files/pub/SamerSzeider09a.pdf},
    doi = {10.1007/s10817-008-9114-5},

}