Experimental results on the cross-over point in satisfiability problems (1993)

by J Crawford, L Auton
Venue:In Proceedings of the Eleventh National Conference on Artificial Intelligence