On the Complexity of Deduction Modulo Leaf Permutative Equations.

Thierry Boy de la Tour Mnacho Echenim

Published in: J. Autom. Reason. (2004)

Keyphrases

three dimensional
worst case
real time
data sets
databases
learning algorithm
social networks
image processing
computational complexity
upper bound
denoising
mathematical model
inference rules
space complexity
computer algebra