Additive versus multiplicative clause weighting for SAT (2004)

by J Thornton, D N Pham, S Bain, Ferreira Jr, V
Venue:In Proceedings of AAAI-2004