Linear Integer Arithmetic Revisited.

Martin Bromberger Thomas Sturm Christoph Weidenbach

Published in: CoRR (2015)

Keyphrases

integer arithmetic
euclidean distance transform
three dimensional