Spelling suggestions: "subject:"orthonormal"" "subject:"orthoformate""
1 |
Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige FormelnNeupert, Sascha 13 August 2005 (has links) (PDF)
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.
|
2 |
Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige FormelnNeupert, Sascha 07 June 2005 (has links)
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.
|
Page generated in 0.0321 seconds