Handbook of satisfiability - Biere, Armin, 1967- (Frontiers in artificial intelligence and applications,, 2009)