TY  - JOUR
AU  - Wallace, Richard
AU  - Freuder, Eugene
PY  - 1994/aug/
TI  - Applying Algorithms for Constraint Satisfaction to Maximum Satisfiability
CY  - Amsterdam
ID  - Wallace-applying
ER  -