Backdoor sets of quantified Boolean formulas (Q1040783): Difference between revisions

@@ Property / describes a project that uses @@
+Quantor
@@ Property / describes a project that uses: Quantor / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-008-9114-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2039585983
@@ Property / OpenAlex ID: W2039585983 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernelization Algorithms for d-Hitting Set Problems
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4427904
@@ Property / cites work: Q4427904 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Universal Expansion for Preprocessing QBF
@@ Property / cites work: Bounded Universal Expansion for Preprocessing QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Parameterized Upper Bounds for Vertex Cover
+Normal rank
@@ Property / cites work @@
+Variable and term removal from Boolean formulae
@@ Property / cites work: Variable and term removal from Boolean formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient fixed-parameter algorithm for 3-hitting set
+Normal rank
@@ Property / cites work @@
+Solving \#SAT using vertex covers
@@ Property / cites work: Solving \#SAT using vertex covers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
+Normal rank
@@ Property / cites work @@
+Variable Dependencies of Quantified CSPs
@@ Property / cites work: Variable Dependencies of Quantified CSPs / rank @@
+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 @@
+Binary Clause Reasoning in QBF
@@ Property / cites work: Binary Clause Reasoning in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoor sets for DLL subsolvers
@@ Property / cites work: Backdoor sets for DLL subsolvers / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of matched CNF formulas
@@ Property / cites work: Generalizations of matched CNF formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Matched Formulas and Backdoor Sets
@@ Property / cites work: Matched Formulas and Backdoor Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank