Ramsey Quantifiers in Linear Arithmetics.

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

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

linear complexity
neural network
case study
wide range
first order logic
artificial intelligence
image processing
data streams
computational complexity
expert systems
evolutionary algorithm
simple linear