Ramsey Quantifiers in Linear Arithmetics.

Pascal Bergsträßer Moses Ganardi Anthony W. Lin Georg Zetzsche

Published in: CoRR (2023)

Keyphrases

evolutionary algorithm
linear systems
simple linear
database
real time
data sets
real world
computer vision
data structure
data streams
special case
optimal linear