Solving MAX-$r$-SAT above a tight lower bound (Q644808): Difference between revisions

@@ Property / cites work @@
+Algorithms with large domination ratio
@@ Property / cites work: Algorithms with large domination ratio / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q3258698
@@ Property / cites work: Q3258698 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernelization: New Upper and Lower Bound Techniques
+Normal rank
@@ Property / cites work @@
+On problems without polynomial kernels
@@ Property / cites work: On problems without polynomial kernels / rank @@
+Normal rank
@@ Property / cites work @@
+Kernel Bounds for Disjoint Cycles and Disjoint Paths
+Normal rank
@@ Property / cites work @@
+Étude des coefficients de Fourier des fonctions de \(L^ p(G)\)
+Normal rank
@@ Property / cites work @@
+Q5422499
@@ Property / cites work: Q5422499 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized above Average
+Normal rank
@@ Property / cites work @@
+Q4850549
@@ Property / cites work: Q4850549 / rank @@
+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 @@
+The linear arrangement problem parameterized above guaranteed value
+Normal rank
@@ Property / cites work @@
+Fixed-parameter complexity of minimum profile problems
+Normal rank
@@ Property / cites work @@
+Betweenness parameterized above tight lower bound
@@ Property / cites work: Betweenness parameterized above tight lower bound / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Approach to Problems Parameterized above or below Tight Bounds
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+On the advantage over a random assignment
@@ Property / cites work: On the advantage over a random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+CNF-Satisfiability Test by Counting and Polynomial Average Time
+Normal rank
@@ Property / cites work @@
+Q4077442
@@ Property / cites work: Q4077442 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterizing above Guaranteed Values: MaxSat and MaxCut
+Normal rank
@@ Property / cites work @@
+Parameterizing above or below guaranteed values
@@ Property / cites work: Parameterizing above or below guaranteed values / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302081
@@ Property / cites work: Q5302081 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving exact algorithms for MAX-2-SAT
@@ Property / cites work: Improving exact algorithms for MAX-2-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Completion Is Fixed Parameter Tractable
@@ Property / cites work: Interval Completion Is Fixed Parameter Tractable / rank @@
+Normal rank

Solving MAX-\(r\)-SAT above a tight lower bound (Q644808): Difference between revisions

Latest revision as of 15:34, 4 July 2024

Statements

Sitelinks

Mathematics(1 entry)