Tie breaking in clause weighting local search for sat

by Valnir Ferreira , John Thornton
Venue:In: 18th Australian Joint Conference on Artificial Intelligence
Citations:1 - 0 self