Parameterized SAT

Abstract

Full Citation:

Stefan Szeider. Parameterized SAT. Chapter in Encyclopedia of Algorithms (Ming-Yang Kao, ed.), 2008, Springer Verlag.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.