TY  - JOUR
AU  - Rangan, A.
AU  - Zhang, W.
PY  - 2003/aug/
TI  - Backbone Guided Local Search for Maximum Satisfiability
CY  - Acapulco, Mexico
N1  - To appear
ID  - Zhang03
ER  -