Handbook of Satisfiability : Second Edition