Example of use of the conflict optimizer for solving a SAT problem.
Example 1 Example 2 Example 3 Example 4
Edit
Reset Next Next (10×) Queue and count: