A probabilistic analysis of a new satisfiability algorithm B. Apolloni; S. Di Gregorio — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications