Property Directed Polyhedral Abstraction.

Nikolaj Bjørner Arie Gurfinkel

Published in: VMCAI (2015)

Keyphrases

high level
lipschitz continuity
similarity measure
clustering algorithm
multiresolution
line drawings
data abstraction
polyhedral objects