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.0025 seconds