* New, clearer and more detailed paper version DM-2.0, plus additional programs in Zip file.
* All programs of Algorithm D (in Zip file) will now compile with newest g++ version
(minor programming bug fixed).
Polynomial 3-SAT Solver
Two paper versions are provided, both describing the very same algorithm:
Read a comment by Mr. Mihai Prunescu about an older version of my solver. His paper is called 'About a surprizing computer program of Matthias Müller'. The original pdf-file Mr. Prunescu's paper is commenting can also be found within the zip file (see previous paragraph).