Long Distance Q-Resolution with Dependency Schemes (Q2818036): Difference between revisions

@@ Property / Wikidata QID @@
+Q55670652
@@ Property / Wikidata QID: Q55670652 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bloqqer
@@ Property / describes a project that uses: Bloqqer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / 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 @@
+W2493206149
@@ Property / OpenAlex ID: W2493206149 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+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 @@
+Q3620436
@@ Property / cites work: Q3620436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2954985
@@ Property / cites work: Q2954985 / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Interpolation for QBF Resolution Calculi
@@ Property / cites work: Feasible Interpolation for QBF Resolution Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Synthesis Methods for Safety Specs
@@ Property / cites work: SAT-Based Synthesis Methods for Safety Specs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3566747
@@ Property / cites work: Q3566747 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Q3457218
@@ Property / cites work: Q3457218 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+On Sequent Systems and Resolution for QBFs
@@ Property / cites work: On Sequent Systems and Resolution for QBFs / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Circuit Representations in QBF Solving
@@ Property / cites work: Exploiting Circuit Representations in QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Proof System for QBF Preprocessing
@@ Property / cites work: A Unified Proof System for QBF Preprocessing / 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 @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+On Propositional QBF Expansions and Q-Resolution
@@ Property / cites work: On Propositional QBF Expansions and 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 @@
+Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
+Normal rank
@@ Property / cites work @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Resolution-Path Dependencies in Linear Time ,
+Normal rank
@@ Property / cites work @@
+Soundness of \(\mathcal{Q}\)-resolution with dependency schemes
+Normal rank
@@ Property / cites work @@
+Fault Localization and Correction with QBF
@@ Property / cites work: Fault Localization and Correction with QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Independence and Resolution Paths for Quantified Boolean Formulas
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2818036