Approximate solution of weighted MAX-SAT problems using GRASP.
M
G
C
Resende
author
L
S
Pitsoulis
author
P
M
Pardalos
author
monographic
1997
text
Satisfiability problem
Theory and Applications
D
Du
editor
J
Gu
editor
P
M
Pardalos
editor
1997
AMS
collection
DIMACS Series on Discrete Mathematics and Theoretical Computer Science
Resende97
35
393
405