Sascha Neupert
Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln
Dokumente und Dateien
- Volltext (pdf) - 2.65 MByte - MD5 SHA512
- Volltext (ps) - 1.50 MByte - MD5 SHA512
- Digitale Signatur - 0.00 MByte - MD5 SHA512
Hinweis
Bitte nutzen Sie beim Zitieren immer folgende Url:
http://nbn-resolving.de/urn:nbn:de:swb:ch1-200500927
Kurzfassung in Deutsch
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.
weitere Metadaten
| Schlagwörter | Theta Funktion |
| Schlagwörter | orthonormale Darstellung |
| Schlagwörter | unabhänige Menge |
| SWD Schlagworte | Aussagenlogik |
| SWD Schlagworte | Lineare Algebra |
| SWD Schlagworte | Semidefinite Optimierung |
| DDC Klassifikation | 004 |
| Institution(en) | |
| Hochschule | TU Chemnitz |
| Fakultät | Fakultät für Informatik |
| Betreuer | Prof. Dr. rer. nat. Andreas Goerdt |
| Gutachter | Prof. Dr. rer. nat. Andreas Goerdt |
| Dokumententyp | Diplomarbeit |
| Sprache | Deutsch |
| Tag d. Einreichung (bei der Fakultät) | 07.06.2005 |
| Veröffentlichungsdatum (online) | 13.08.2005 |
| persistente URN | urn:nbn:de:swb:ch1-200500927 |