SAT 2005 satisfiability research in the year 2005 / - Giunchiglia, Enrico.; Walsh, Toby. (Springer,)