DMCA

Typical random 3-SAT formulae and the satisfiability threshold (2000)

by O. Dubois , Y. Boufkhad
Venue:in Proceedings of the Eleventh ACM-SIAM Symposium on Discrete Algorithms
Citations:97 - 4 self