Login / Signup

Cutting to the Chase Solving Linear Integer Arithmetic.

Dejan JovanovicLeonardo Mendonça de Moura
Published in: CADE (2011)
Keyphrases
  • integer arithmetic
  • euclidean distance transform
  • multiscale
  • binary images
  • functional dependencies
  • fourier transform
  • medial axis