Matched Formulas and Backdoor Sets

Szeider, Stefan

by Stefan Szeider

Reference:

Matched Formulas and Backdoor SetsStefan SzeiderJ on Satisfiability, Boolean Modeling and Computation, volume 6, pages 1-12, 2009.

Bibtex Entry:

@string{jsat="J on Satisfiability, Boolean Modeling and Computation"}
@Article{Szeider09a,
  author = 	 {Stefan Szeider},
  title = 	 {Matched Formulas and Backdoor Sets},
  Journal = 	 JSAT,
  pages =        {1-12},
  volume  =       {6},
  year = 	 {2009},
    url   = {https://www.ac.tuwien.ac.at/files/pub/Szeider09a.pdf},

}