last update 2017-11-06

Additional, alternative paper version DM-1.0 provided.

Polynomial 3-SAT Solver

Two paper versions are provided, both describing the very same algorithm:

  • An alternative source of my solver documents is on

  • 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