Deciding whether the ordering is necessary in a Presburger formula.

Christian Choffrut Achille Frigeri

Published in: Discret. Math. Theor. Comput. Sci. (2010)

Keyphrases

partial order
neural network
computer vision
partial ordering
database
artificial intelligence
image sequences
lower bound
multi valued
total ordering