A tighter upper bound for random MAX \(2\)-SAT (Q1944049): Difference between revisions

@@ Property / cites work @@
+Random MAX SAT, random MAX CUT, and their phase transitions
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4511230
@@ Property / cites work: Q4511230 / rank @@
+Normal rank
@@ Property / cites work @@
+The scaling window of the 2-SAT transition
@@ Property / cites work: The scaling window of the 2-SAT transition / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT.
+Normal rank
@@ Property / cites work @@
+Q4501522
@@ Property / cites work: Q4501522 / rank @@
+Normal rank
@@ Property / cites work @@
+New worst-case upper bounds for SAT
@@ Property / cites work: New worst-case upper bounds for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+New Upper Bounds for Maximum Satisfiability
@@ Property / cites work: New Upper Bounds for Maximum Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+An Empirical Study of MAX-2-SAT Phase Transitions
@@ Property / cites work: An Empirical Study of MAX-2-SAT Phase Transitions / rank @@
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank