On deciding satisfiability by theorem proving with speculative inferences (0)

by Maria Paola Bonacina, Christopher A Lynch, Leonardo de Moura
Venue:J. of Autom. Reason