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