Tie breaking in clause weighting local search for sat (0)

by Ferreira Jr, V Thornton, J
Venue:In: 18th Australian Joint Conference on Artificial Intelligence