An Abstract Domain to Infer Linear Absolute Value Equalities.

Liqian Chen Banghu Yin Dengping Wei Ji Wang

Published in: TASE (2021)

Keyphrases

linear inequalities
high level
domain specific
data sets
image processing
higher level
domain independent
artificial intelligence
bayesian networks
multi agent
piecewise linear
simple linear
linear complexity