Parameterized SAT
Abstract
Stefan Szeider. Parameterized SAT. Chapter in Encyclopedia of Algorithms (Ming-Yang Kao), 2008, Springer Verlag.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.