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