The octagon abstract domain for continuous constraints.

Marie Pelleau Charlotte Truchet Frédéric Benhamou

Published in: Constraints An Int. J. (2014)

Keyphrases

domain independent
linear constraints
lower bound
domain specific
piecewise linear
continuous variables
databases
clustering algorithm
high level
video sequences
low level
natural language processing
linear program
geometric constraints
resource constraints
multiple constraints