Login / Signup

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.

Peter BaumgartnerAlexander FuchsCesare Tinelli
Published in: LPAR (2008)
Keyphrases
  • integer arithmetic
  • image processing
  • geometric constraints
  • similarity measure
  • search space
  • linear programming