Handbook of satisfiability[electronic resource]