TY - CHAP AU - Resende, M. G. C. AU - Pitsoulis, L. S. AU - Pardalos, P. M. ED - Du, D. ED - Gu, J. ED - Pardalos, P. M. PY - 1997// TI - Approximate solution of weighted MAX-SAT problems using GRASP. BT - Satisfiability problem: Theory and Applications T3 - DIMACS Series on Discrete Mathematics and Theoretical Computer Science SP - 393 EP - 405 VL - 35 PB - AMS ID - Resende97 ER -