The Parameterized Complexity of SAT Backdoors

Szeider, Stefan

by Stefan Szeider

Reference:

The Parameterized Complexity of SAT BackdoorsStefan SzeiderComputing: The Australasian Theory Symposium (CATS 2004) (Mike Atkinson, ed.), pages 252-261, 2004.Note: Informal Proceedings

Bibtex Entry:

@InProceedings{Szeider04a,
  author = 	 {Stefan Szeider},
  title = 	 {The Parameterized Complexity of {SAT} Backdoors},
  booktitle = 	 {Computing: The Australasian Theory Symposium (CATS 2004)},
  pages = 	 {252-261},
  year = 	 2004,
  editor = 	 {Mike Atkinson},
  organization = {University of Ontago},
  note = 	 {Informal Proceedings},
}