LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.

Bernd Becker Christian Dax Jochen Eisinger Felix Klaedtke

Published in: CAV (2007)

Keyphrases

linear constraints
constraint databases
integer arithmetic
linear inequalities
closed form solutions
linear systems
fixed point
geometric constraints
real time
global constraints
floating point
constraint networks
multiscale
decision trees
computer vision
genetic algorithm
information retrieval