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].
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Home Networking - das bedeutet die Verbindung der unterschiedlichsten im Haushalt vorhandenen elektronischen Geräte, sei es per Kabel oder drahtlos per Funk. Das beginnt meist mit der Vernetzung von…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Beiträge zur Namenforschung. Neue Folge ist eine internationale fachübergreifende Zeitschrift für Namenforschung. In den Artikeln werden Probleme der Ortsnamen- wie Personenamenforschung und der ...
care konkret ist die Wochenzeitung für Entscheider in der Pflege. Ambulant wie stationär. Sie fasst topaktuelle Informationen und Hintergründe aus der Pflegebranche kompakt und kompetent für Sie ...
The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...
Zeitschrift für Vollstreckungs-, Zustellungs- und Kostenrecht
Die Deutsche Gerichtsvollzieher Zeitung (DGVZ) ist eine juristische Fachzeitschrift für das Vollstreckungs-, Zustellungs- und ...
Die DTZ – Deutsche Tennis Zeitung bietet Informationen aus allen Bereichen der deutschen Tennisszene –sie präsentiert sportliche Highlights, analysiert Entwicklungen und erläutert ...
Mitteilungen der Deutschen Gesellschaft für Individualpsychologie e.V. (DGIP) für ihre Mitglieder Die Mitglieder der DGIP erhalten viermal jährlich das Mitteilungsblatt „DGIP-intern“ ...
Die Flugzeuge der NVA
Neben unser F-40 Reihe, soll mit der DHS die Geschichte der "anderen" deutschen Luftwaffe, den Luftstreitkräften der Nationalen Volksarmee (NVA-LSK) der ehemaligen DDR ...
Der "DSD – Der Sicherheitsdienst" ist das Magazin der Sicherheitswirtschaft. Es erscheint viermal jährlich und mit einer Auflage von 11.000 Exemplaren.
Der DSD informiert über aktuelle Themen ...
Offizielles Organ des Deutschen Verbandes Ergotherapie e.V. (DVE). ERGOTHERAPIE UND REHABILITATION stellt ein anerkanntes Fach- und Informationsmedium dar und erreicht monatlich die ...