Comparative studies of constraint satisfaction and davis-putnam, algorithms for maximum satisfiabilitv problems (1996)

by R J Wallace, E C Freuder
Venue:In Cliques, Coloring, and Satisfiability. American Mathematical Society