Approximate solution of weighted MAX-SAT problems using GRASP

Mauricio G. C. Resende, Leonidas S. Pitsoulis, Panos M. Pardalos. Approximate solution of weighted MAX-SAT problems using GRASP. In Ding-Zhu Du, Jun Gu, Panos M. Pardalos, editors, Satisfiability Problem: Theory and Applications, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 11-13, 1996. Volume 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 393-406, DIMACS/AMS, 1996.

Authors

Mauricio G. C. Resende

This author has not been identified. Look up 'Mauricio G. C. Resende' in Google

Leonidas S. Pitsoulis

This author has not been identified. Look up 'Leonidas S. Pitsoulis' in Google

Panos M. Pardalos

This author has not been identified. Look up 'Panos M. Pardalos' in Google