Counting arithmetic formulas.

Edinah K. Gnang Maksym Radziwill Carlo Sanna

Published in: Eur. J. Comb. (2015)

Keyphrases

quantifier free
database
first order logic
arithmetic operations
quantifier elimination
real world
information systems
floating point
real time
data sets
social networks
image sequences
similarity measure
search algorithm
evolutionary algorithm