Polynomial 3-SAT Solver


  • Paper in pdf format:
    Polynomial 3-SAT Solver E-1.0
    2020-05-10: 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 pdf-file 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.

You can send me any comment, suggestion, or question below.
If you wish to get a reply, please include your e-mail address.
Thank you!


Author's Website