Login / Signup

A Generalization of Shostak's Method for Combining Decision Procedures.

Clark W. BarrettDavid L. DillAaron Stump
Published in: FroCoS (2002)
Keyphrases
  • decision procedures
  • computational complexity
  • data sources
  • theorem proving