INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH (Q5082067): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2021.75
@@ Property / DOI: 10.1017/jsl.2021.75 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W3158765418
@@ Property / OpenAlex ID: W3158765418 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Resolution is NP-Hard
@@ Property / cites work: Automating Resolution is NP-Hard / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpolation and Automatization for Frege Systems
+Normal rank
@@ Property / cites work @@
+Information-Theoretic Limitations of Formal Systems
+Normal rank
@@ Property / cites work @@
+Q4133141
@@ Property / cites work: Q4133141 / rank @@
+Normal rank
@@ Property / cites work @@
+Consequences of the provability of <i>NP</i> ⊆ <i>P</i>/<i>poly</i>
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214803
@@ Property / cites work: Q3214803 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical basis for information theory and probability theory
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
+Normal rank
@@ Property / cites work @@
+Implicit proofs
@@ Property / cites work: Implicit proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonalization in proof complexity
@@ Property / cites work: Diagonalization in proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3072543
@@ Property / cites work: Q3072543 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on SAT algorithms and proof complexity
@@ Property / cites work: A note on SAT algorithms and proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Complexity
@@ Property / cites work: Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ Property / cites work @@
+Some consequences of cryptographical conjectures for \(S_2^1\) and EF
+Normal rank
@@ Property / cites work @@
+Algorithmic information theory
@@ Property / cites work: Algorithmic information theory / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness conservation inequalities; information and independence in mathematical theories
+Normal rank
@@ Property / cites work @@
+Short propositional refutations for dense random 3CNF formulas
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)
+Normal rank
@@ Property / Wikidata QID @@
+Q113858283
@@ Property / Wikidata QID: Q113858283 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2021.75
@@ Property / DOI: 10.1017/JSL.2021.75 / rank @@
+Normal rank