Parameterized Compilation Lower Bounds for Restricted CNF-Formulas (Q2817997): Difference between revisions

@@ Property / OpenAlex ID @@
+W2345030715
@@ Property / OpenAlex ID: W2345030715 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06715
@@ Property / arXiv ID: 1604.06715 / rank @@
+Normal rank
@@ Property / cites work @@
+On Compiling CNFs into Structured Deterministic DNNFs
+Normal rank
@@ Property / cites work @@
+Q2954991
@@ Property / cites work: Q2954991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5363766
@@ Property / cites work: Q5363766 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and Approximability of Parameterized MAX-CSPs
+Normal rank
@@ Property / cites work @@
+Q4507228
@@ Property / cites work: Q4507228 / rank @@
+Normal rank
@@ Property / cites work @@
+On multi-partition communication complexity
@@ Property / cites work: On multi-partition communication complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Meta-theorems for Restrictions of Treewidth
+Normal rank
@@ Property / cites work @@
+Satisfiability of acyclic and almost acyclic CNF formulas
+Normal rank
@@ Property / cites work @@
+Model Counting for CNF Formulas of Bounded Modular Treewidth
+Normal rank
@@ Property / cites work @@
+No Small Nondeterministic Read-Once Branching Programs for CNFs of Bounded Treewidth
+Normal rank
@@ Property / cites work @@
+Between Treewidth and Clique-Width
@@ Property / cites work: Between Treewidth and Clique-Width / rank @@
+Normal rank