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…
Die herstellerunabhängige Fachzeitschrift wendet sich an alle Anwender und Entscheider, die mit Softwarelösungen von Autodesk arbeiten. Das Magazin gibt praktische ...
Die Zeitschrift "Beiträge zur Geschichte der Arbeiterbewegung" erscheint seit 1968. Zuerst in der DDR, dort gegründet, nach 1989 dann bei verschiedenen Verlagen. Seit 1998 erscheint die Zeitschrift ...
»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...
Berichte und Neuigkeiten aus den Arbeitsgebieten der Diakonie in Düsseldorf. Gibt es Gebrauchsanweisungen, die einen in die Welt des Glaubens einführen? Nun, natürlich nicht in der Art, wie es ...
Technische Fachzeitschrift aus der Praxis für die Praxis in allen Bereichen des Handwerks und der Industrie.
“der praktiker“ ist die Fachzeitschrift für alle Bereiche der fügetechnischen ...
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 ...
Behandlung versicherungsrelevanter Themen. Erfahren Sie mehr über den DVS. Der DVS Deutscher Versicherungs-Schutzverband e.V, Bonn, ist der Interessenvertreter der versicherungsnehmenden Wirtschaft. ...
Bau und Einsatz von Werkzeugmaschinen für spangebende und spanlose sowie abtragende und umformende Fertigungsverfahren.
dima - die maschine - bietet als Fachzeitschrift die Kommunikationsplattform ...
elektrobörse handel gibt einen facettenreichen Überblick über den Elektrogerätemarkt: Produktneuheiten und -trends, Branchennachrichten, Interviews, Messeberichte uvm.. In den monatlichen ...
Über »Evangelische Theologie«
In interdisziplinären Themenheften gibt die Evangelische Theologie entscheidende Impulse, die komplexe Einheit der Theologie wahrzunehmen. Neben den Themenheften ...