TY  - BOOK
AU  - Bastian Rückel
PY  - 2014
CY  - Hamburg, Deutschland
PB  - Diplom.de
SN  - 9783956363757
TI  - A faster approximation scheme for #k-SAT
T2  - Exploiting independent subformulars
UR  - https://m.diplom.de/document/282383
N2  - 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]. 
KW  - exploiting
LA  - Deutsch
ER  -