A parallel clause oriented algorithm for solving SAT

In this paper we propose a new unorthodox cooperative clause oriented algorithm for solving satisfiable SAT instances in parallel. The most important trait of our algorithm is that it adapts to the parallel nature. This adaptation comes from the fact that our algorithm does not depend on the Boolean... View More