

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.

