Consistency and Optimality (Q3091441): Difference between revisions

@@ Property / cites work @@
+Logical Foundations of Proof Complexity
@@ Property / cites work: Logical Foundations of Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Relations between diagonalization, proof systems, and complexity gaps
+Normal rank
@@ Property / cites work @@
+THE FASTEST AND SHORTEST ALGORITHM FOR ALL WELL-DEFINED PROBLEMS
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ Property / cites work @@
+Q4251070
@@ Property / cites work: Q4251070 / rank @@
+Normal rank
@@ Property / cites work @@
+On an optimal propositional proof system and the structure of easy subsets of TAUT.
+Normal rank