Automatic Combinability of Rewriting-Based Satisfiability Procedures