last update 2017-01-23.




Extended and improved paper 2017-01-23.




Polynomial 3-SAT Solver


  • Read Algorithm Here
    (URL: http://www.louis-coder.com/Polynomial_3-SAT_Solver/
    Polynomial_3-SAT_Solver.pdf)

  • An alternative source of my solver documents is on vixra.org.



  • 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).




Author's Website