An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints.

Mathias Péron Nicolas Halbwachs

Published in: VMCAI (2007)

Keyphrases

lower bound
domain independent
objective function
worst case
domain specific
database
high level
upper bound
higher level
domain experts
constraint satisfaction
complexity bounds
constrained minimization