The Existential Theory of the Reals with Summation Operators.

Markus Bläser Julian Dörfler Maciej Liskiewicz Benito van der Zander

Published in: CoRR (2024)

Keyphrases

theoretical framework
image processing
lower bound
computational model
theoretical foundation
theoretical basis
constraint databases
data sets
databases
data mining
genetic algorithm
artificial intelligence
multiscale
information theory