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

Sylvain Boulmé Alexandre Maréchal

Published in: ITP (2015)

Keyphrases

high level
search engine
state machines
database
information retrieval
computer vision
information systems
multiresolution
line drawings
mixed integer
refinement process
convex polyhedra