Experimental Results on the Cross-Over Point inSatis ability Problems (1993)

by J M Crawford, L D Auton
Venue:Proc. AAAI-93,Washington, DC