Approximate solution of weighted MAX-SAT problems                    using GRASP.

BibTex:
Research Area:	MaxSAT	Year:	1997
Type of Publication:	In Collection
Authors:	Resende, M. G. C. Pitsoulis, L. S. Pardalos, P. M.
Publisher:	AMS
Editor:	D. Du and J. Gu and P.M. Pardalos

Pages:	393-405

@incollection{Resende97, author = "M.G.C. Resende and L.S. Pitsoulis and P.M. Pardalos", booktitle = "Satisfiability problem: Theory and Applications", editor = "D. Du and J. Gu and P.M. Pardalos", pages = "393--405", publisher = "AMS", series = "DIMACS Series on Discrete Mathematics and Theoretical Computer Science", title = "{A}pproximate solution of weighted {MAX}-{SAT} problems using {GRASP}.", volume = "35", year = "1997", }
[Bibtex] [RIS] [MODS]

COST FUNCTION