Handbook of satisfiability - Biere, Armin. (IOS Press,)