Inferring linear invariants with parallelotopes.

Gianluca Amato Marco Rubino Francesca Scozzari

Published in: Sci. Comput. Program. (2017)

Keyphrases

decision trees
quadratic programming
data mining
social networks
multi agent
pattern recognition
lower bound
differential operators