A faster approximation scheme for #k-SAT
Exploiting independent subformulars
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].
CHF 8.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-95636-375-7
- EAN: 9783956363757
- Produktnummer: 17156982
- Verlag: Diplom.de
- Sprache: Deutsch
- Erscheinungsjahr: 2014
- Seitenangabe: 15 S.
- Plattform: PDF
- Masse: 2'689 KB
8 weitere Werke von Bastian Rückel:
Bewertungen
Anmelden