The connectivity of Boolean satisfiability: dichotomies for formulas and circuits (Q2411031): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-015-9663-z
@@ Property / DOI: 10.1007/s00224-015-9663-z / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2787312740
@@ Property / OpenAlex ID: W2787312740 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6679
@@ Property / arXiv ID: 1312.6679 / rank @@
+Normal rank
@@ Property / cites work @@
+On the solution-space geometry of random constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+On connected Boolean functions
@@ Property / cites work: On connected Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances
+Normal rank
@@ Property / cites work @@
+Q3194807
@@ Property / cites work: Q3194807 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding paths between 3-colorings
@@ Property / cites work: Finding paths between 3-colorings / rank @@
+Normal rank
@@ Property / cites work @@
+Structure identification of Boolean relations and plain bases for co-clones
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
+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 @@
+Shortest Paths between Shortest Paths and Independent Sets
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On the Boolean Connectivity Problem for Horn Relations
+Normal rank
@@ Property / cites work @@
+A new look at survey propagation and its generalizations
+Normal rank
@@ Property / cites work @@
+On the applicability of Post's lattice
@@ Property / cites work: On the applicability of Post's lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits
+Normal rank
@@ Property / cites work @@
+Q4393484
@@ Property / cites work: Q4393484 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00224-015-9663-Z
@@ Property / DOI: 10.1007/S00224-015-9663-Z / rank @@
+Normal rank