Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms
hal.structure.identifier | Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE] | |
dc.contributor.author | Escoffier, Bruno
HAL ID: 5124 | |
hal.structure.identifier | Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE] | |
dc.contributor.author | Paschos, Vangelis | |
hal.structure.identifier | Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE] | |
dc.contributor.author | Tourniaire, Emeric | |
dc.date.accessioned | 2020-07-22T10:44:37Z | |
dc.date.available | 2020-07-22T10:44:37Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 0304-3975 | |
dc.identifier.uri | https://basepub.dauphine.fr/handle/123456789/20957 | |
dc.language.iso | en | en |
dc.subject | Exponential time algorithms | en |
dc.subject | Approximation algorithms | en |
dc.subject | Max SAT | en |
dc.subject.ddc | 005 | en |
dc.title | Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms | en |
dc.type | Article accepté pour publication ou publié | |
dc.description.abstracten | We study approximation of the max sat problem by moderately exponential algorithms. The general goal of the issue of moderately exponential approximation is to catch-up on polynomial inapproximability, by providing algorithms achieving, with worst-case running times importantly smaller than those needed for exact computation, approximation ratios unachievable in polynomial time. We develop several approximation techniques that can be applied to max sat in order to get approximation ratios arbitrarily close to 1. | en |
dc.relation.isversionofjnlname | Theoretical Computer Science | |
dc.relation.isversionofjnlvol | 560 | en |
dc.relation.isversionofjnlissue | 2 | en |
dc.relation.isversionofjnldate | 2014-12 | |
dc.relation.isversionofjnlpages | 147-157 | en |
dc.relation.isversionofdoi | 10.1016/j.tcs.2014.10.039 | en |
dc.relation.isversionofjnlpublisher | Elsevier | en |
dc.subject.ddclabel | Programmation, logiciels, organisation des données | en |
dc.relation.forthcoming | non | en |
dc.relation.forthcomingprint | non | en |
dc.description.ssrncandidate | non | en |
dc.description.halcandidate | non | en |
dc.description.readership | recherche | en |
dc.description.audience | International | en |
dc.relation.Isversionofjnlpeerreviewed | oui | en |
dc.relation.Isversionofjnlpeerreviewed | oui | en |
dc.date.updated | 2020-07-22T10:41:51Z | |
hal.author.function | aut | |
hal.author.function | aut | |
hal.author.function | aut |