Linear Arithmetic with Stars.

Ruzica Piskac Viktor Kuncak

Published in: CAV (2008)

Keyphrases

closed form
linear complexity
real world
knowledge base
support vector
relational databases
medical images
linear programming
constraint propagation
linear model
piecewise linear
transfer function
arithmetic operations