Text this: Handbook of satisfiability