Part of the Texts in Computer Science book series (TCS)
We introduce the classes W[P] and variations, proving a number of concrete hardness and membership results for this level of the W-hierarchy.
KeywordsPositive Integer Model Check Turing Machine Truth Assignment Satisfying Assignment
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
- 2.K. Abrahamson, R. Downey, M. Fellows, Fixed-parameter intractability II, in Proceedings of 10th Annual Symposium on Theoretical Aspects on Computer Science, STACS 93, Würzburg, Germany, February 25–27, 1993, ed. by P. Enjalbert, A. Finkel, K. Wagner. LNCS, vol. 665 (Springer, Berlin, 1993), pp. 374–385 Google Scholar
- 6.K. Abrahamson, M. Fellows, J. Ellis, M. Mata, On the complexity of fixed parameter problems, in Proceedings of 30th Annual Symposium on Foundations of Computer Science, FOCS 1989, Research Triangle Park, North Carolina, USA, 30 October–1 November 1989 (IEEE Comput. Soc., Los Alamitos, 1989), pp. 210–215 Google Scholar
- 248.R. Downey, M. Fellows, B. Kapron, M. Hallett, T. Wareham, The parameterized complexity of some problems in logic and linguistics, in Logical Foundations of Computer Science, Proceedings of Third International Symposium, LFCS’94, St. Petersburg, Russia, July 11–14, 1994, ed. by A. Nerode, Y. Matiyasevich. LNCS, vol. 813 (Springer, Berlin, 1994), pp. 89–101 CrossRefGoogle Scholar
- 312.J. Flum, M. Grohe, Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2006) Google Scholar
© Springer-Verlag London 2013