Automatic Combinability of Rewriting-Based Satisfiability Procedures.

Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Browse the full LPAR paper archive.