Sie sind hier
E-Book

A faster approximation scheme for #k-SAT

Exploiting independent subformulars

eBook A faster approximation scheme for #k-SAT Cover
Autor
Verlag
Erscheinungsjahr
2014
Seitenanzahl
14
Seiten
ISBN
9783956363757
Format
PDF
Kopierschutz
kein Kopierschutz
Geräte
PC
MAC
eReader
Tablet
Preis
6,99
EUR

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

Kaufen Sie hier:

E-Book Tabs

Weitere E-Books zum Thema: Sonstiges IT

CDs und DVDs beschriften

Irgendwie sieht ein Rohling aus wie der andere. Deshalb ist es eine gute Idee, Rohlinge nach dem Brennvorgang zu beschriften. Allerdings sollte dafür nicht jeder x-beliebige Stift genommen werden - ...

Google Picasa

Mit Picasa bietet Google ein umfangreiches, aber nicht zu kompliziertes Programm an, das eigentlich alles bietet, was Sie zur Verwaltung Ihrer Bilder benötigen. In diesem eBooklet bekommen Sie ...

Chatten mit Google Talk

Wie AOL und Yahoo! hat sich auch Google einen eigenen Instant Messenger zugelegt - Google Talk. Dieser Client beherrscht neben dem reinen Messaging sogar Video-Chat und Voice-Mail. In diesem eBooklet ...

Tipps und Tricks zu Windows

Dieses eBooklet stellt Ihnen eine umfangreiche Sammlung von Tipps und Tricks zu Windows vor. Sie erfahren allerhand Nützliches zur Erleichterung Ihres Computeralltags. Wie funktioniert die ...

Bilder verwalten mit Picasa2

Ambitionierte Digitalfotografen sitzen bereits nach kürzester Zeit auf einem wahren Bilderberg mit wenig aussagekräftigen Dateinamen. Hier hilft das kostenlose Programm Picasa2 aus dem Hause Google ...

Microsoft Works 8.5

eBook Microsoft Works 8.5 Cover

Microsoft Works ist eine so genannte Integrierte Software. Darunter versteht man Programme, die aus einzelnen Programmmodulen aufgebaut sind. So beinhaltet MS-Works Textverarbeitung, ...

Crashkurs Windows XP

Wenn Sie schon immer mal wissen wollten, was man mit Windows XP alles anstellen kann, dann ist dieses eBooklet genau das Richtige für Sie. In verständlichen Schritt-für-Schritt-Anleitungen ...

Die besten WLAN-Tipps

So faszinierend Wireless-LAN auch ist - ganz ohne Probleme geht’s auch bei dieser Technik nicht. Ob Hardware oder Software, überall kann es mal klemmen. Daher haben wir für Sie in diesem eBooklet ...

Weitere Zeitschriften

ARCH+.

ARCH+.

Architektur, Städtebau und Design ARCH+ widmet sich seit vier Jahrzehnten dem Experiment. Angesiedelt zwischen Architektur, Stadt, Kultur und Medien lotet ARCH+ vierteljährlich die Grenzen der sich ...

Archiv und Wirtschaft

Archiv und Wirtschaft

Fachbeiträge zum Archivwesen der Wirtschaft; Rezensionen Die seit 1967 vierteljährlich erscheinende Zeitschrift für das Archivwesen der Wirtschaft "Archiv und Wirtschaft" bietet Raum für ...

BMW Magazin

BMW Magazin

Unter dem Motto „DRIVEN" steht das BMW Magazin für Antrieb, Leidenschaft und Energie − und die Haltung, im Leben niemals stehen zu bleiben.Das Kundenmagazin der BMW AG inszeniert die neuesten ...

BONSAI ART

BONSAI ART

Auflagenstärkste deutschsprachige Bonsai-Zeitschrift, basierend auf den renommiertesten Bonsai-Zeitschriften Japans mit vielen Beiträgen europäischer Gestalter. Wertvolle Informationen für ...

Card Forum International

Card Forum International

Card Forum International, Magazine for Card Technologies and Applications, is a leading source for information in the field of card-based payment systems, related technologies, and required reading ...

CAREkonkret

CAREkonkret

Die Wochenzeitung für Entscheider in der PflegeCAREkonkret ist die Wochenzeitung für Entscheider in der Pflege. Ambulant wie stationär. Sie fasst topaktuelle Informationen und Hintergründe aus ...

Correo

Correo

 La Revista de Bayer CropScience para la Agricultura ModernaPflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und am Thema Interessierten mit umfassender ...

DULV info

DULV info

UL-Technik, UL-Flugbetrieb, Luftrecht, Reiseberichte, Verbandsinte. Der Deutsche Ultraleichtflugverband e. V. - oder kurz DULV - wurde 1982 von ein paar Enthusiasten gegründet. Wegen der hohen ...

building & automation

building & automation

Das Fachmagazin building & automation bietet dem Elektrohandwerker und Elektroplaner eine umfassende Übersicht über alle Produktneuheiten aus der Gebäudeautomation, der Installationstechnik, dem ...