461 search results - page 93 / 93 » An Algorithm for Bi-Decomposition of Logic Functions |
ECCC
2007
13 years 6 months ago
2007
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...