A Gentle Non-disjoint Combination of Satisfiability Procedures.

Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen

Browse the full CADE paper archive.