共 50 条
- [41] Algebraic Proofs over Noncommutative Formulas THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2010, 6108 : 60 - 71
- [42] Long Proofs of (Seemingly) Simple Formulas THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 121 - 137
- [49] On meta complexity of propositional formulas and propositional proofs Archive for Mathematical Logic, 2008, 47