Login / Signup
A Generalization of Shostak's Method for Combining Decision Procedures.
Clark W. Barrett
David L. Dill
Aaron Stump
Published in:
FroCoS (2002)
Keyphrases
</>
decision procedures
computational complexity
data sources
theorem proving