Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra.

Sylvain Boulmé Alexandre Maréchal

Published in: J. Autom. Reason. (2019)

Keyphrases

information retrieval
special case
higher level
data mining
high level
mixed integer
convex polyhedra
real time
database systems
artificial neural networks
low level