Entropy of the<i>K</i>-Satisfiability Problem (Q4492386): Difference between revisions

@@ Property / author @@
+Remi Monasson
@@ Property / author: Remi Monasson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q74567747
@@ Property / Wikidata QID: Q74567747 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cond-mat/9603014
@@ Property / arXiv ID: cond-mat/9603014 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization by Simulated Annealing
@@ Property / cites work: Optimization by Simulated Annealing / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Tail bounds for occupancy and the satisfiability threshold conjecture
+Normal rank
@@ Property / cites work @@
+Counting the number of solutions for instances of satisfiability
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank