Armin Biere Marijn Heule Hans van Maaren Toby Walsh Handbook of Satisfiability 185 Frontiers in Artificial Intelligence and Applications 2009 978-1-58603-929-5 IOS Press db/series/faia/faia185.html