Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP

Mauricio G. C. Resende, Leonidas S. Pitsoulis, Panos M. Pardalos. Fortran subroutines for computing approximate solutions of weighted MAX-SAT problems using GRASP. Discrete Applied Mathematics, 100(1-2):95-113, 2000.

Abstract

Abstract is missing.