Valnir Ferreira Jr. John Thornton Tie Breaking in Clause Weighting Local Search for SAT. 70-81 2005 conf/ausai/2005 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11589990_10 db/conf/ausai/ausai2005.html#FerreiraT05