Can a very simple algorithm be efficient for solving the SAT problem, manuscript, LAFORIA, CNRS-Universit'e Paris 6, 4 place Jussieu, 75252 (1992)

by O Dubois, P Andre, Y Boufkhad, J Carlier