A SAT Approach to Branchwidth (Q2818011): Difference between revisions

@@ Property / cites work @@
+On the Boolean-Width of a Graph: Structure and Applications
+Normal rank
@@ Property / cites work @@
+Satisfiability, branch-width and Tseitin tautologies
+Normal rank
@@ Property / cites work @@
+Tour Merging via Branch-Decomposition
@@ Property / cites work: Tour Merging via Branch-Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Optimization
@@ Property / cites work: Combinatorial Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507228
@@ Property / cites work: Q4507228 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing branchwidth via efficient triangulations and blocks
+Normal rank
@@ Property / cites work @@
+Q3086928
@@ Property / cites work: Q3086928 / rank @@
+Normal rank
@@ Property / cites work @@
+A SAT Approach to Clique-Width
@@ Property / cites work: A SAT Approach to Clique-Width / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs, branchwidth, and tangles! Oh my!
@@ Property / cites work: Graphs, branchwidth, and tangles! Oh my! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430877
@@ Property / cites work: Q4430877 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Branch-Decompositions and Rank-Decompositions
+Normal rank
@@ Property / cites work @@
+A Local Search Algorithm for Branchwidth
@@ Property / cites work: A Local Search Algorithm for Branchwidth / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Encoding Treewidth into SAT
@@ Property / cites work: Encoding Treewidth into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Call routing and the ratcatcher
@@ Property / cites work: Call routing and the ratcatcher / rank @@
+Normal rank