Backdoor Sets of Quantified Boolean Formulas (bibtex)
by ,
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},
}