Superposition Modulo Non-linear Arithmetic.

Andreas Eggers Evgeny Kruglov Stefan Kupferschmid Karsten Scheibler Tino Teige Christoph Weidenbach

Published in: FroCoS (2011)

Keyphrases

databases
signal analysis
arithmetic operations
real time
machine learning
information retrieval
artificial intelligence
similarity measure
multiscale
search algorithm
lower bound
user interface
probability distribution