Return to search

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

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.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:ch1-200500927
Date13 August 2005
CreatorsNeupert, Sascha
ContributorsTU Chemnitz, Fakultät für Informatik, Prof. Dr. rer. nat. Andreas Goerdt, Prof. Dr. rer. nat. Andreas Goerdt
PublisherUniversitätsbibliothek Chemnitz
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
Languagedeu
Detected LanguageGerman
Typedoc-type:masterThesis
Formatapplication/pdf, application/postscript, text/plain, application/zip

Page generated in 0.0018 seconds