A faster approximation scheme for #k-SAT
| Autor: | Bastian Rückel |
|---|---|
| EAN: | 9783956363757 |
| eBook Format: | |
| Sprache: | Deutsch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 30.10.2014 |
| Untertitel: | Exploiting independent subformulars |
| Kategorie: | |
| Schlagworte: | exploiting |
6,99 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Diese Ausarbeitung zum Thema 'Approximationsschema für #k-SAT' entstand im Rahmen des Seminars 'Algorithmische Schönheiten' im Wintersemester 2013/14. Zunächst werden relevante Grundlagen vorgestellt. Danach wird der Algorithmus von Thurley beleuchtet. Dieser ist der Ausgangspunkt für die anschließend vorgestellten Verbesserungen. Sofern nichts anderes erwähnt wird, beziehen sich die Inhalte dieser Arbeit auf das Paper [SCH13].
Weitere Produkte vom selben Autor