Superposition for Bounded Domains.

Thomas Hillenbrand Christoph Weidenbach

Published in: Automated Reasoning and Mathematics (2013)

Keyphrases

application domains
real world
theorem proving
special case
database systems
cross domain
asymptotically optimal