V.: Additive versus multiplicative clause weighting for SAT (2004)

by J Thornton, D N Pham, S Bain, Ferreira Jr
Venue:In: Proceedings of 19th AAAI