Learning short-term clause weights for GSAT (1997)

by J Frank
Venue:In: Proceedings of 15th IJCAI