Lower and Upper Bounds for Random Mimimum Satisfiability Problem (Q3452557): Difference between revisions

@@ Property / cites work @@
+Approximating MIN 2-SAT and MIN 3-SAT
@@ Property / cites work: Approximating MIN 2-SAT and MIN 3-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+On the maximum satisfiability of random formulas
@@ Property / cites work: On the maximum satisfiability of random formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The threshold for random 𝑘-SAT is 2^{𝑘}log2-𝑂(𝑘)
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / 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 @@
+Q2743189
@@ Property / cites work: Q2743189 / rank @@
+Normal rank
@@ Property / cites work @@
+Random MAX SAT, random MAX CUT, and their phase transitions
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / 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 @@
+An upper (lower) bound for Max (Min) CSP
@@ Property / cites work: An upper (lower) bound for Max (Min) CSP / rank @@
+Normal rank
@@ Property / cites work @@
+The Minimum Satisfiability Problem
@@ Property / cites work: The Minimum Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based lower bounds in MaxSAT
@@ Property / cites work: Resolution-based lower bounds in MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+Exact MinSAT Solving
@@ Property / cites work: Exact MinSAT Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing with minimum satisfiability
@@ Property / cites work: Optimizing with minimum satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+On approximation algorithms for the minimum satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q4326389
@@ Property / cites work: Q4326389 / rank @@
+Normal rank
@@ Property / cites work @@
+A tighter upper bound for random MAX \(2\)-SAT
@@ Property / cites work: A tighter upper bound for random MAX \(2\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954175
@@ Property / cites work: Q4954175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the lower bounds of random Max 3 and 4-SAT
@@ Property / cites work: On the lower bounds of random Max 3 and 4-SAT / rank @@
+Normal rank