Backdoor Sets of Quantified Boolean Formulas

Samer, Marko; Szeider, Stefan

by Marko Samer, Stefan Szeider

Reference:

Backdoor Sets of Quantified Boolean FormulasMarko Samer, Stefan SzeiderProceedings of SAT 2007, Tenth International Conference on Theory and Applications of Satisfiability Testing, May 28-31, 2007, Lisbon, Portugal, (J. Marques-Silva, K. A. Sakallah, eds.), volume 4501 of Lecture Notes in Computer Science, pages 230–243, 2007.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{SamerSzeider07a, 
  author = 	 {Marko Samer and Stefan Szeider},
  title = 	 {Backdoor Sets of Quantified Boolean Formulas},
  booktitle =    {Proceedings of SAT 2007, Tenth International Conference on 
                  Theory and Applications of Satisfiability Testing, 
                  May 28-31, 2007, Lisbon, Portugal,},
  year = 	 {2007},
  series = 	 LNCS,
  volume = 	 {4501},
  editor =       {J. Marques-Silva and K. A. Sakallah},
  pages  =       {230--243},
}