2 papers
cs.DS2018
The clustered Sparrow algorithm
Cristian Dumitrescu
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 poly…
cs.DS2017
A randomized, efficient algorithm for 3SAT
Cristian Dumitrescu
In this paper I present a 3SAT algorithm based on the randomized algorithm of Papadimitriou from 1991, and Schoning from 1991. We also present strong arguments that this algorithm…