Login / Signup

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic.

François BobotSylvain ConchonEvelyne ContejeanMohamed IguernelalaAssia MahboubiAlain MebsoutGuillaume Melquiond
Published in: IJCAR (2012)
Keyphrases
  • integer arithmetic
  • simplex method
  • euclidean distance transform
  • image reconstruction
  • fourier transform
  • linear programming
  • computer vision
  • denoising
  • distance measure
  • image restoration
  • binary images
  • quadtree