Neuer 'polynomieller' SAT-Solver

[RainerAlkohol]

Für alle interessierten, bitte ich um Kommentare
bzgl. des folgenden Algorithmus:
http://vixra.org/pdf/1212.0109v2.pdfDanke vielmals!

Euer Rainer