Parameterized SAT

Szeider, Stefan

by Stefan Szeider

Reference:

Parameterized SATStefan SzeiderChapter in Encyclopedia of Algorithms (Ming-Yang Kao, ed.), 2008, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@incollection{Szeider08d,
  author    = {Stefan Szeider},
  title     = {Parameterized {SAT}},
  booktitle = {Encyclopedia of Algorithms},
  year      = {2008},
  editor    = {Ming-Yang Kao},
  publisher = Springer,
}