Author of the publication

A novel algorithm for solving the Decision Boolean Satisfiability Problem without algebra.

. CoRR, (2016)