On Variable Orderings in MCSAT for Non-Linear Real Arithmetic.

Jasper Nalbach Gereon Kremer Erika Ábrahám

Published in: SC-square@SIAM AG (2019)

Keyphrases

image processing
real life
user interface
databases
neural network
real world
support vector
computational complexity
data model
arithmetic operations