Using decomposition-parameters for QBF: mind the prefix! (Q2304627): Difference between revisions

@@ Property / cites work @@
+Tree-width for first order formulae
@@ Property / cites work: Tree-width for first order formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113669
@@ Property / cites work: Q3113669 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-width QBF is PSPACE-complete
@@ Property / cites work: Bounded-width QBF is PSPACE-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Directed path-width and monotonicity in digraph searching
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Dependency Schemes in Search-Based QBF Solvers
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Quantified Conjunctive (or Disjunctive) Formulas
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Small Resolution Proofs for QBF using Dependency Treewidth
+Normal rank
@@ Property / cites work @@
+Graph Layout Problems Parameterized by Vertex Cover
+Normal rank
@@ Property / cites work @@
+Recognition algorithms for orders of small width and graphs of small Dilworth number
+Normal rank
@@ Property / cites work @@
+Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
+Normal rank
@@ Property / cites work @@
+The disjoint paths problem in quadratic time
@@ Property / cites work: The disjoint paths problem in quadratic time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+Treewidth. Computations and approximations
@@ Property / cites work: Treewidth. Computations and approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111886
@@ Property / cites work: Q5111886 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating clique-width and branch-width
@@ Property / cites work: Approximating clique-width and branch-width / 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 @@
+Graph minors. I. Excluding a forest
@@ Property / cites work: Graph minors. I. Excluding a forest / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
+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 @@
+Q4734768
@@ Property / cites work: Q4734768 / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Dependencies and Q-Resolution
@@ Property / cites work: Variable Dependencies and Q-Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier reordering for QBF
@@ Property / cites work: Quantifier reordering for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+An infinite antichain of permutations
@@ Property / cites work: An infinite antichain of permutations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / 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 @@
+A Polynomial Time Algorithm for Bounded Directed Pathwidth
+Normal rank