A new bound for 3-satisfiable MaxSat and its algorithmic application (Q393085): Difference between revisions

@@ Property / cites work @@
+Kernels: Annotated, Proper and Induced
@@ Property / cites work: Kernels: Annotated, Proper and Induced / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+Solving MAX-\(r\)-SAT above a tight lower bound
@@ Property / cites work: Solving MAX-\(r\)-SAT above a tight lower bound / rank @@
+Normal rank
@@ Property / cites work @@
+Q2784326
@@ Property / cites work: Q2784326 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Kernelizations and Other Preprocessing Procedures
+Normal rank
@@ Property / cites work @@
+Note on Max Lin-2 above average
@@ Property / cites work: Note on Max Lin-2 above average / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized above Average
+Normal rank
@@ Property / cites work @@
+Parameterized complexity of MaxSat above average
@@ Property / cites work: Parameterized complexity of MaxSat above average / rank @@
+Normal rank
@@ Property / cites work @@
+A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application
+Normal rank
@@ Property / cites work @@
+Implications of forbidden structures for extremal algorithmic problems
+Normal rank
@@ Property / cites work @@
+Improved Parameterized Algorithms for above Average Constraint Satisfaction
+Normal rank
@@ Property / cites work @@
+Q5501275
@@ Property / cites work: Q5501275 / rank @@
+Normal rank
@@ Property / cites work @@
+Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
+Normal rank
@@ Property / cites work @@
+Complexity of Partial Satisfaction
@@ Property / cites work: Complexity of Partial Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterizing above Guaranteed Values: MaxSat and MaxCut
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
+Normal rank
@@ Property / cites work @@
+On Local Versus Global Satisfiability
@@ Property / cites work: On Local Versus Global Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+On the Approximation of Maximum Satisfiability
@@ Property / cites work: On the Approximation of Maximum Satisfiability / rank @@
+Normal rank