Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms

View/ Open
Date
2014Dewey
Programmation, logiciels, organisation des donnéesSujet
Exponential time algorithms; Approximation algorithms; Max SATJournal issue
Theoretical Computer ScienceVolume
560Number
2Publication date
12-2014Article pages
147-157Publisher
ElsevierCollections
Metadata
Show full item recordAuthor
Escoffier, Bruno
989 Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Paschos, Vangelis
989 Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Tourniaire, Emeric
989 Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]