Describing parameterized complexity classes
暂无分享,去创建一个
[1] Michael R. Fellows,et al. The Parameterized Complexity of Relational Database Queries and an Improved Characterization of W[1] , 1996, DMTCS.
[2] Jörg Flum,et al. Fixed-Parameter Tractability, Definability, and Model-Checking , 1999, SIAM J. Comput..
[3] Yijia Chen,et al. Machine Characterization of the Classes of the W-Hierarchy , 2003, CSL.
[4] Yijia Chen,et al. Bounded nondeterminism and alternation in parameterized complexity theory , 2003, 18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings..
[5] Thomas Schwentick,et al. When is the evaluation of conjunctive queries tractable? , 2001, STOC '01.
[6] Michael Alekhnovich,et al. Resolution is not automatizable unless W[P] is tractable , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.
[7] Michael R. Fellows,et al. Parameterized Complexity , 1998 .
[8] Georg Gottlob,et al. Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning , 1999, LPNMR.
[9] Michael R. Fellows,et al. Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues , 1995, Ann. Pure Appl. Log..
[10] Michael R. Fellows,et al. FIXED-PARAMETER TRACTABILITY AND COMPLETENESS , 2022 .
[11] Michael R. Fellows,et al. Descriptive Complexity and the W Hierarchy , 2022 .
[12] Neil Immerman,et al. Languages that Capture Complexity Classes , 1987, SIAM J. Comput..
[13] Liming Cai,et al. Advice Classes of Parameterized Tractability , 1997, Ann. Pure Appl. Log..
[14] Martin Grohe,et al. The parameterized complexity of database queries , 2001, PODS '01.
[15] J. Büchi. Weak Second‐Order Arithmetic and Finite Automata , 1960 .
[16] Neil Immerman,et al. Relational Queries Computable in Polynomial Time , 1986, Inf. Control..
[17] Ulrike Stege,et al. Resolving conflicts in problems from computational biology , 1999 .
[18] Jörg Flum,et al. Mathematical logic , 1985, Undergraduate texts in mathematics.
[19] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[20] Martin Grohe. Generalized Model-Checking Problems for First-Order Logic , 2001, STACS.
[21] Mihalis Yannakakis,et al. On the Complexity of Database Queries , 1999, J. Comput. Syst. Sci..
[22] Mihalis Yannakakis,et al. On the complexity of database queries (extended abstract) , 1997, PODS.
[23] Moshe Y. Vardi. The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.
[24] H. Gaifman. On Local and Non-Local Properties , 1982 .
[25] Michael R. Fellows,et al. Parameterized complexity analysis in computational biology , 1995, Comput. Appl. Biosci..