On the Structure of Solution-Graphs for Boolean Formulas (Q2947874): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-22177-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1572204789
@@ Property / OpenAlex ID: W1572204789 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilateral sets in \(l_p^n\)
@@ Property / cites work: Equilateral sets in \(l_p^n\) / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Bounded Length Graph Recoloring and CSP Reconfiguration
+Normal rank
@@ Property / cites work @@
+Succinct Encodings of Graph Isomorphism
@@ Property / cites work: Succinct Encodings of Graph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On connected Boolean functions
@@ Property / cites work: On connected Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128417
@@ Property / cites work: Q4128417 / rank @@
+Normal rank
@@ Property / cites work @@
+The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
+Normal rank
@@ Property / cites work @@
+Q4934341
@@ Property / cites work: Q4934341 / rank @@
+Normal rank
@@ Property / cites work @@
+A new look at survey propagation and its generalizations
+Normal rank
@@ Property / cites work @@
+Two solutions to diluted \(p\)-spin models and XORSAT problems
+Normal rank
@@ Property / cites work @@
+Graphs and cubes
@@ Property / cites work: Graphs and cubes / rank @@
+Normal rank
@@ Property / cites work @@
+A note on succinct representations of graphs
@@ Property / cites work: A note on succinct representations of graphs / rank @@
+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
@@ Property / cites work @@
+Languages represented by Boolean formulas
@@ Property / cites work: Languages represented by Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258578
@@ Property / cites work: Q4258578 / rank @@
+Normal rank