Bastian Rückel

A faster approximation scheme for #k-SAT

Exploiting independent subformulars. 1. Auflage. Dateigröße in MByte: 3.

pdf eBook , 15 Seiten

ISBN 3956363752

EAN 9783956363757

Veröffentlicht Oktober 2014

Verlag/Hersteller BACHELOR + MASTER PUBLISHING

Leseprobe herunterladen

Leseprobe öffnen

€ 6,99 inkl. MwSt.

Auf die Merkliste

Weitere interessante Themen

Beschreibung

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].

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones

Künstliche Intelligenz kapieren & programmi...

pdf eBook

Download

€ 24,99

A faster approximation scheme for #k-SAT

Weitere interessante Themen

Beschreibung

Technik

Das könnte Sie auch interessieren