Guided local search for solving SAT and weighted
                   MAX-SAT problems

BibTex:
Research Area:	Uncategorized	Year:	2000
Type of Publication:	In Proceedings
Authors:	Mills, P. Tsang, E.
Editor:	I.P. Gent and H. van Maaren and T. Walsh
Book title:	SAT2000 --- Highlights of Satisfiability Research in the Year 2000
Pages:	89-106




@conference{Mills2000, author = "P. Mills and E. Tsang", booktitle = "SAT2000 --- Highlights of Satisfiability Research in the Year 2000", editor = "I.P. Gent and H. van Maaren and T. Walsh", pages = "89-106", publisher = " IOS Press, Amsterdam", title = "{G}uided local search for solving {SAT} and weighted {MAX}-{SAT} problems", year = "2000", }
[Bibtex] [RIS] [MODS]

COST FUNCTION