Superposition Modulo Linear Arithmetic SUP(LA).

Ernst Althaus Evgeny Kruglov Christoph Weidenbach

Published in: FroCoS (2009)

Keyphrases

multiscale
control system
probabilistic model
real time
databases
image segmentation
face recognition
high dimensional
artificial neural networks
closed form
quadratic programming
arithmetic operations