Additive versus Multiplicative Clause Weighting for SAT (2004)

by John Thornton , Duc Nghia Pham , Stuart Bain , Valnir Ferreira, Jr.
Venue:IN: PROCEEDINGS OF 19TH AAAI
Citations:26 - 9 self