Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln

Description

Es werden effiziente Algorithmen vorgestellt, die
auf algebraischen Methoden beruhen um die
Unerfüllbarkeit aussagenlogischer 4-SAT Formeln zu
zertifizieren. Die Algorithmen werden implementiert
und auf praktische Weise hinsichtlich der Laufzeit
mit Backtracking-Algorithmen verglichen.

Links & Downloads

1. urn:nbn:de:swb:ch1-200500927
2. https://monarch.qucosa.de/id/qucosa%3A18341
3. https://monarch.qucosa.de/api/qucosa%3A18341/attachment/ATT-0/
4. https://monarch.qucosa.de/api/qucosa%3A18341/attachment/ATT-1/
5. https://monarch.qucosa.de/api/qucosa%3A18341/attachment/ATT-2/

Tags

info:eu-repo/classification/ddc/004

ddc:004

Aussagenlogik

Lineare Algebra

Semidefinite Optimierung

Theta Funktion

orthonormale Darstellung

unabhänige Menge

Additional Fields

Identifer	oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:18341
Date	07 June 2005
Creators	Neupert, Sascha
Contributors	Goerdt, Andreas, Technische Universität Chemnitz
Source Sets	Hochschulschriftenserver (HSSS) der SLUB Dresden
Language	German
Detected Language	German
Type	doc-type:masterThesis, info:eu-repo/semantics/masterThesis, doc-type:Text
Rights	info:eu-repo/semantics/openAccess