Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas (Q3448854): Difference between revisions

@@ Property / arXiv ID @@
+.3801
@@ Property / arXiv ID: 1404.3801 / rank @@
+Normal rank
@@ Property / cites work @@
+Flip distance between triangulations of a simple polygon is NP-complete
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Rings of sets
@@ Property / cites work: Rings of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Recoloring graphs via tree decompositions
@@ Property / cites work: Recoloring graphs via tree decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Connectedness of the graph of vertex-colourings
@@ Property / cites work: Connectedness of the graph of vertex-colourings / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+A note on some tree similarity measures
@@ Property / cites work: A note on some tree similarity measures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422389
@@ Property / cites work: Q5422389 / rank @@
+Normal rank
@@ Property / cites work @@
+γ-graphs of graphs
@@ Property / cites work: γ-graphs of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
+Normal rank
@@ Property / cites work @@
+On the complexity of reconfiguration problems
@@ Property / cites work: On the complexity of reconfiguration problems / rank @@
+Normal rank
@@ Property / cites work @@
+Reconfiguration of list edge-colorings in a graph
@@ Property / cites work: Reconfiguration of list edge-colorings in a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of independent set reconfigurability problems
+Normal rank
@@ Property / cites work @@
+Transforming triangulations
@@ Property / cites work: Transforming triangulations / rank @@
+Normal rank
@@ Property / cites work @@
+Vertex Cover Reconfiguration and Beyond
@@ Property / cites work: Vertex Cover Reconfiguration and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of reconfiguration problems
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3194807
@@ Property / cites work: Q3194807 / rank @@
+Normal rank