Superposition for fixed domains.

Matthias Horbach Christoph Weidenbach

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

application domains
real world
real time
databases
data mining
information retrieval
image processing
case study
data structure
fixed size
multiple domains