Additive versus Multiplicative Clause Weighting for SAT

View/ Open
Author(s)
Thornton, J
Pham, DN
Bain, S
Ferreira, V
Year published
2004
Metadata
Show full item recordConference Title
PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE