Backdoor sets of quantified Boolean formulas (bibtex)
by ,
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},

}
Powered by bibtexbrowser