New techniques for linear arithmetic: cubes and equalities.

Martin Bromberger Christoph Weidenbach

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

linear inequalities
neural network
machine learning
image sequences
lower bound
least squares