An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

Liqian Chen Jiangchao Liu Antoine Miné Deepak Kapur Ji Wang

Published in: SAS (2014)

Keyphrases

pairwise
domain specific
genetic algorithm
high level
domain independent
data mining
constrained optimization
multiple constraints
database systems
video sequences
special case
domain knowledge
higher level
blocks world