A probabilistic analysis of a new satisfiability algorithm

Apolloni, B.; Di Gregorio, S.

RAIRO. Informatique théorique, Volume 16 (1982) p. 201-223