Global ETD Search

1	Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln Neupert, 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. Theta Funktion orthonormale Darstellung unabhänige Menge ddc:004 Aussagenlogik Lineare Algebra Semidefinite Optimierung
2	Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln Neupert, 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. info:eu-repo/classification/ddc/004 ddc:004 Aussagenlogik Lineare Algebra Semidefinite Optimierung Theta Funktion orthonormale Darstellung unabhänige Menge