Matched Formulas and Backdoor Sets

Stefan Szeider. Matched Formulas and Backdoor Sets. JSAT, 6(1-3):1-12, 2009. [doi]

@article{Szeider09-0,
  title = {Matched Formulas and Backdoor Sets},
  author = {Stefan Szeider},
  year = {2009},
  url = {http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_1_Szeider.pdf},
  researchr = {https://researchr.org/publication/Szeider09-0},
  cites = {0},
  citedby = {0},
  journal = {JSAT},
  volume = {6},
  number = {1-3},
  pages = {1-12},
}