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