SAT 2005 : satisfiability research in the Year 2005 - Walsh, Toby; Giunchiglia, Enrico