Matched Formulas and Backdoor Sets

Szeider, Stefan

by Stefan Szeider

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},
}