Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem (1983)

by J Franco, M Paull
Venue:Discrete Applied Mathematics