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
16
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: Informatik - Algorithmen - Softwaresysteme

Bionik

eBook Bionik Cover

In vielen Wissenschafts- und Technikzweigen ist der praktische Nutzen der Bionik anerkannt. Die Lösung technischer Probleme mit Hilfe biologisch motivierter Prinzipien wird erfolgreich praktiziert. ...

Intrusion Detection effektiv!

eBook Intrusion Detection effektiv! Cover

Intrusion-Detection-Systeme werden zum Schutz vor Angriffen von IT-Systemen eingesetzt. Sie erkennen Missbrauch, indem sie Systemereignisse mit bekannten Angriffsmustern vergleichen. Der praktische ...

Sicheres Netzwerkmanagement

eBook Sicheres Netzwerkmanagement Cover

Die Administration komplexer Rechnernetzwerke verlangt durch die ständige Weiterentwicklung etablierter Standards und die Integration gänzlich neuer Technologien ein umfassendes technisches ...

Der IT Business Case

eBook Der IT Business Case Cover

Obwohl sich das Potential der Informationstechnologie in den letzten Ja- zehnten vervielfacht hat und dadurch die Informatik zweifelsfrei an Bed- tung gewonnen hat, hat sich eines nicht verändert - ...

Workflow-based Integration

eBook Workflow-based Integration Cover

Das Buch bietet einen umfassenden Überblick zu standardisierten Methoden der Prozess-Modellierung auf der Basis einer für viele Branchen typischen Applikationsumgebung. Der Autor stellt effektive ...

IT-Alignment

eBook IT-Alignment Cover

Eine genaue Abstimmung zwischen IT-Systemen, Softwareentwicklung und Unternehmenserfordernissen ist ein wichtiger Wettbewerbsvorteil für ein Unternehmen. Für die Optimierung von IT im Unternehmen ...

Mambo

eBook Mambo Cover

Das Buch ist einerseits ein Nachschlagewerk für die Nutzer von Mambo mit einer Darstellung aller Menüs und Konfigurationsmöglichkeiten, andererseits ein umfangreiches Praxiswerk mit der ...

Weitere Zeitschriften

A&D KOMPENDIUM

A&D KOMPENDIUM

Das A&D KOMPENDIUM ist das jährlich neue Referenzbuch für industrielle Automation. Mit einer Auflage von 10.500 Exemplaren informiert das A&D KOMPENDIUM auf 400 Seiten über Produkte,Verfahren, ...

arznei-telegramm

arznei-telegramm

Das arznei-telegramm® informiert Ärzte, Apotheker und andere Heilberufe über Nutzen und Risiken von Arzneimitteln. Das arznei-telegramm®  ist neutral und unabhängig. Es ...

CE-Markt

CE-Markt

 Das Fachmagazin für Consumer-Electronics & Home Technology ProductsTelefónica O2 Germany startet am 15. Oktober die neue O2 Handy-Flatrate. Der Clou: Die Mindestlaufzeit des Vertrages ...

Computerwoche

Computerwoche

Die COMPUTERWOCHE berichtet schnell und detailliert über alle Belange der Informations- und Kommunikationstechnik in Unternehmen – über Trends, neue Technologien, Produkte und Märkte. IT-Manager ...

Courier

Courier

The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...

Deutsche Tennis Zeitung

Deutsche Tennis Zeitung

Die DTZ – Deutsche Tennis Zeitung bietet Informationen aus allen Bereichen der deutschen Tennisszene –sie präsentiert sportliche Highlights, analysiert Entwicklungen und erläutert ...

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

Eishockey NEWS

Eishockey NEWS

Eishockey NEWS bringt alles über die DEL, die 2. Bundesliga, die Oberliga sowie die Regionalligen und Informationen über die NHL. Dazu ausführliche Statistiken, Hintergrundberichte, Personalities ...