On the Power of Ordering in Linear Arithmetic Theories.

Dmitry Chistikov Christoph Haase

Published in: ICALP (2020)

Keyphrases

power consumption
real time
multiscale
neural network
machine learning
genetic algorithm
closed form
simple linear
cognitive psychology
linear complexity