A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications (Q1759685): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 5823282
@@ Property / title @@
+A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68089
@@ Property / zbMATH Open document ID: 1309.68089 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-17493-3_10
@@ Property / DOI: 10.1007/978-3-642-17493-3_10 / rank @@
+Normal rank
@@ Property / published in @@
+Parameterized and Exact Computation
@@ Property / published in: Parameterized and Exact Computation / rank @@
+Normal rank
@@ Property / publication date @@
+December 2010Timestamp +2010-12-07T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2010-12-07T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 7 December 2010 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5823282
@@ Property / zbMATH DE Number: 5823282 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2118469858
@@ Property / OpenAlex ID: W2118469858 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3125125795
@@ Property / OpenAlex ID: W3125125795 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0526
@@ Property / arXiv ID: 1004.0526 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernels: Annotated, Proper and Induced
@@ Property / cites work: Kernels: Annotated, Proper and Induced / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Kernelizations and Other Preprocessing Procedures
+Normal rank
@@ Property / cites work @@
+Implications of forbidden structures for extremal algorithmic problems
+Normal rank
@@ Property / cites work @@
+Partial Satisfaction of k-Satisfiable Formulas
@@ Property / cites work: Partial Satisfaction of k-Satisfiable Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501275
@@ Property / cites work: Q5501275 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Partial Satisfaction
@@ Property / cites work: Complexity of Partial Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of partial satisfaction. II.
@@ Property / cites work: Complexity of partial satisfaction. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterizing above Guaranteed Values: MaxSat and MaxCut
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+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
@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference.
+Normal rank
@@ Property / cites work @@
+A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application
+Normal rank
@@ Property / cites work @@
+Solving satisfiability in less than \(2^ n\) steps
+Normal rank
@@ Property / cites work @@
+Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
+Normal rank
@@ Property / cites work @@
+<i>E</i>                     <sub>11</sub>                     and M theory
@@ Property / cites work: <i>E</i> <sub>11</sub> and M theory / rank @@
+Normal rank

Latest revision as of 21:33, 5 July 2024

scientific article; zbMATH DE number 5823282

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application

Language	Label	Description	Also known as
English	A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications	scientific article; zbMATH DE number 5823282	A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Application