Feasible Interpolation for QBF Resolution Calculi (Q3448783): Difference between revisions

@@ Property / author @@
-Anil K. Shukla
@@ Property / author: Anil K. Shukla / rank @@
-Normal rank
@@ Property / author @@
+Anil K. Shukla
@@ Property / author: Anil K. Shukla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W756639098
@@ Property / OpenAlex ID: W756639098 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01328
@@ Property / arXiv ID: 1611.01328 / rank @@
+Normal rank
@@ Property / cites work @@
+The monotone circuit complexity of Boolean functions
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Resolution Systems and Their Proof Complexities
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620436
@@ Property / cites work: Q3620436 / rank @@
+Normal rank
@@ Property / cites work @@
+On Unification of QBF Resolution-Based Calculi
@@ Property / cites work: On Unification of QBF Resolution-Based Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2954985
@@ Property / cites work: Q2954985 / rank @@
+Normal rank
@@ Property / cites work @@
+A Game Characterisation of Tree-like Q-resolution Size
+Normal rank
@@ Property / cites work @@
+Unified Characterisations of Resolution Hardness Measures
+Normal rank
@@ Property / cites work @@
+Non-automatizability of bounded-depth Frege proofs
+Normal rank
@@ Property / cites work @@
+On Interpolation and Automatization for Frege Systems
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Conformant planning as a case study of incremental QBF solving
+Normal rank
@@ Property / cites work @@
+On lengths of proofs in non-classical logics
@@ Property / cites work: On lengths of proofs in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF solving versus Q-resolution
@@ Property / cites work: Expansion-based QBF solving versus Q-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Q3072543
@@ Property / cites work: Q3072543 / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of cryptographical conjectures for \(S_2^1\) and EF
+Normal rank
@@ Property / cites work @@
+Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Proofs as Games
@@ Property / cites work: Proofs as Games / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank