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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:ch1-200500927 |
Date | 13 August 2005 |
Creators | Neupert, Sascha |
Contributors | TU Chemnitz, Fakultät für Informatik, Prof. Dr. rer. nat. Andreas Goerdt, Prof. Dr. rer. nat. Andreas Goerdt |
Publisher | Universitätsbibliothek Chemnitz |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | deu |
Detected Language | German |
Type | doc-type:masterThesis |
Format | application/pdf, application/postscript, text/plain, application/zip |
Page generated in 0.0018 seconds