A probabilistic analysis of a new satisfiability algorithmB. Apolloni and S. Di GregorioRAIRO. Inform. théor., 16 3 (1982) 201-223DOI: https://doi.org/10.1051/ita/1982160302011
