A Parallel GRASP for MAX-SAT Problems.

Panos M. Pardalos Leonidas S. Pitsoulis Mauricio G. C. Resende

Published in: PARA (1996)

Keyphrases

weighted max sat
max sat
lower bound
linear programming
special case
upper bound
np complete
combinatorial optimization
sat solvers