Towards an understainding of hillclimbing procedures for sat (1993)

by I Gent, T Walsh
Venue:In Proceedings of National Conf. on Artificial Intelligence (AAAI