Additive versus Multiplicative Clause Weighting for SAT.

John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.

Browse the full AAAI paper archive.