Matched Formulas and Backdoor Sets (bibtex)
by
Reference:
Matched Formulas and Backdoor SetsStefan 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 94-99, 2007.
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{Szeider07a,
author = 	 {Stefan Szeider},
title = 	 {Matched Formulas and Backdoor Sets},
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  =       {94-99},
}