@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",
}