The clustered Sparrow algorithm

04/30/2018

∙

by   Cristian Dumitrescu, et al.

∙

0

∙

share

In this paper, we study an extension of Schoning's algorithm [Schoning, 1991] for 3SAT, the clustered Sparrow algorithm We also present strong arguments that this algorithm is polynomial.