Handbook of satisfiability - Biere, Armin 1967-; Heule, Marijn J. H. 1979-; Maaren, Hans van 1950-; Walsh, Toby 1964- (Frontiers in artificial intelligence and applications, 2009)