@InProceedings{l08-p60-71,
  AUTHOR    = {Dominik Scheder},
  TITLE     = {Guided Search and a Faster Deterministic Algorithm for 3-{SAT}},
  YEAR      = 2008,
  BOOKTITLE = {Proc.~of the 8th Latin American Symposium on Theoretical Informatics (LATIN'08)},
  ADDRESS   = {B\'uzios, Brazil},
  PAGES     = {60--71},
  KEYWORDS  = {}}