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: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 |
Page generated in 0.0014 seconds