SAT 2000 highlights of satisfiability research in the year 2000 - Gant,Lan (Amsterdam IOS Press, 2000)