Lower Bound Techniques for QBF Proof Systems (Q3304096): Difference between revisions

@@ label / en / label / en @@
+Lower Bound Techniques for QBF Proof Systems
@@ Property / describes a project that uses @@
+CAQE
@@ Property / describes a project that uses: CAQE / 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 / cites work @@
+A combinatorial characterization of resolution width
+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 @@
+Q3304106
@@ Property / cites work: Q3304106 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds
@@ Property / cites work: Lower Bounds / 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 @@
+Q5270089
@@ Property / cites work: Q5270089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5136303
@@ Property / cites work: Q5136303 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Gentzen and Frege Systems for QBF
@@ Property / cites work: Understanding Gentzen and Frege Systems for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / 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 @@
+A Non-prenex, Non-clausal QBF Solver with Game-State Learning
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Q4336120
@@ Property / cites work: Q4336120 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2018/8536/pdf/LIPIcs-STACS-2018-2.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2789336854
@@ Property / OpenAlex ID: W2789336854 / rank @@
+Normal rank
@@ Property / title @@
+Lower Bound Techniques for QBF Proof Systems (English)
@@ Property / title: Lower Bound Techniques for QBF Proof Systems (English) / rank @@
+Normal rank