|
|
|
|
|
Ronald de Haan and Stefan Szeider
We present a list of parameterized problems together with a complexity classification of whether they allow a fixed-parameter tractable reduction to SAT or not. These problems are parameterized versions of problems whose complexity lies at the second lev...
ver más
|
|
|
|
|