Experimental results on the crossover point in satis problems (1993)

by CA93 J M Crawford, L D Auton
Venue:Proc. 11th Natl. Conf. on Arti Intelligence