Describir: Sat2000 : highlights of satisfiability research in the year 2000 / edited by Ian Gent, Hans van Maaren and Toby Walsh.