Parity Games and Propositional Proofs
暂无分享,去创建一个
[1] Maria Luisa Bonet,et al. On the automatizability of resolution and related propositional proof systems , 2002, Inf. Comput..
[2] Oliver Friedmann,et al. An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms , 2011, Log. Methods Comput. Sci..
[3] Uri Zwick,et al. The Complexity of Mean Payoff Games on Graphs , 1996, Theor. Comput. Sci..
[4] A. Ehrenfeucht,et al. Positional strategies for mean payoff games , 1979 .
[5] Brendan A. Juba. On the Hardness of Simple Stochastic Games , 2005 .
[6] Neil Thapen,et al. The provably total search problems of bounded arithmetic , 2011 .
[7] Eli Ben-Sasson,et al. Short proofs are narrow—resolution made simple , 2001, JACM.
[8] Lei Huang,et al. Automatizability and Simple Stochastic Games , 2011, ICALP.
[9] Anne Condon,et al. On Algorithms for Simple Stochastic Games , 1990, Advances In Computational Complexity Theory.
[10] Colin Stirling,et al. Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.
[11] Jan Krajícek,et al. Lower bounds to the size of constant-depth propositional proofs , 1994, Journal of Symbolic Logic.
[12] Pavel Pudlák,et al. On reducibility and symmetry of disjoint NP pairs , 2003, Theor. Comput. Sci..
[13] J. Kraj. On the Weak Pigeonhole Principle , 2001 .
[14] Samuel R. Buss,et al. Chapter II - First-Order Proof Theory of Arithmetic , 1998 .
[15] Michael Alekhnovich,et al. Resolution Is Not Automatizable Unless W[P] Is Tractable , 2008, SIAM J. Comput..
[16] Albert Atserias,et al. Mean-Payoff Games and Propositional Proofs , 2010, ICALP.
[17] Toniann Pitassi,et al. Non-Automatizability of Bounded-Depth Frege Proofs , 1999, Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317).
[18] Pavel Pudlák,et al. Parity Games and Propositional Proofs , 2013, MFCS.
[19] E. Allen Emerson,et al. Tree automata, mu-calculus and determinacy , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.
[20] Czech Republickrajicek. Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic , 2007 .
[21] Joshua Buresh-Oppenheim,et al. Relativized NP search problems and propositional proof systems , 2004, Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004..
[22] George M. Wilmers,et al. Bounded Existential Induction , 1985, J. Symb. Log..
[23] Pavel Pudlák. On reducibility and symmetry of disjoint NP pairs , 2003, Theor. Comput. Sci..
[24] Peter Lammich,et al. Tree Automata , 2009, Arch. Formal Proofs.
[25] A. Wilkie,et al. Counting problems in bounded arithmetic , 1985 .
[26] Samuel R. Buss,et al. Fragments of Approximate Counting , 2014, J. Symb. Log..
[27] A. Puri. Theory of hybrid systems and discrete event systems , 1996 .
[28] L. Shapley,et al. Stochastic Games* , 1953, Proceedings of the National Academy of Sciences.
[29] Alexander A. Razborov,et al. On provably disjoint NP-pairs , 1994, Electron. Colloquium Comput. Complex..
[30] Oliver Kullmann,et al. Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems , 2004, Annals of Mathematics and Artificial Intelligence.
[31] Oliver Friedmann,et al. Recursive algorithm for parity games requires exponential time , 2011, RAIRO Theor. Informatics Appl..
[32] Anne Condon,et al. The Complexity of Stochastic Games , 1992, Inf. Comput..
[33] E. Allen Emerson,et al. Automata, Tableaux and Temporal Logics (Extended Abstract) , 1985, Logic of Programs.
[34] Jan Krajícek,et al. NP search problems in low fragments of bounded arithmetic , 2007, J. Symb. Log..
[35] 外史 竹内. Bounded Arithmetic と計算量の根本問題 , 1996 .
[36] Thomas Wilke,et al. Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.
[37] Pavel Pudl ak a. On reducibility and symmetry of disjoint NP pairs , 2003 .