Meinungen zu "polynomialem 3-SAT Solver" erwünscht

Neue Frage »

matthias_1981 Auf diesen Beitrag antworten »
Meinungen zu "polynomialem 3-SAT Solver" erwünscht
Hallo. Ich habe einen SAT Solver gebaut, von dem ich annehme, dass
er Exakt-3-SAT mit polynomialem Aufwand lösen kann.

Das Paper und Quellcode sind einsehbar/herunterladbar über
louis-coder.com\Polynomial_3-SAT_Solver\Polynomial_3-SAT_Solver.htm
(bitte dort auf den Link 'Polynomial 3-SAT Solver E-1.0' klicken).

Hier im Forum kann man Meinungen zu solchen Arbeiten erhalten,
wurde mir gesagt.

Ich würde mich sehr über konstruktive Kritik freuen!

Mir ist es aber wichtig, dass jeder, der kritisiert, das
Dokument auch gelesen und darüber nachgedacht hat.
Da es 55 Seiten sind, kann man sich dazu gerne einige Wochen
Zeit lassen.
Falls sich hier niemand darauf einlassen will, ist es auch ok.
Ansonsten, vielen Dank schon mal!
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »