Text this: Handbook of Satisfiability Second Edition. [electronic resource] :