
Paper in pdf format:
Polynomial 3SAT Solver E1.0
20200510: New polynomial solving algorithm, called Algorithm E. Its source code is extremely simple, the main part consists of merely 4 nested loops. The first time it is explained in detail how the polynomial algorithm comes about, this time the polynomial algorithm is most widely understood. The algorithm and related paper should be much easier understandable than any of my previous works.



Read a comment by Dr. Mihai Prunescu about an older version of my solver. His paper is called 'About a surprizing computer program of Matthias Müller'. The original pdffile Mr. Prunescu's paper is commenting can also be found within the zip file (see previous paragraph).

An alternative source of my solver papers is on vixra.org.
