SAT 2005 Satisfiability Research in the Year 2005 - Giunchiglia, Enrico; Walsh, Toby (Springer Netherlands, 2006)