Login / Signup

Linear Integer Arithmetic Revisited.

Martin BrombergerThomas SturmChristoph Weidenbach
Published in: CADE (2015)
Keyphrases
  • integer arithmetic
  • euclidean distance transform