No. Title Author Year
1 Lower Bounds for Nondeterministic Semantic Read-Once Branching Programs Cook, Stephen et al. 2016
2 Theories for Subexponential-size Bounded-depth Frege Proofs Ghasemloo, Kaveh et al. 2013
3 Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) Cook, Stephen A. 2012
4 A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem Lê, Dai Tri Man et al. 2011
5 Fractional Pebbling and Thrifty Branching Programs Braverman, Mark et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI