Iterative Variable Reordering: Taming Huge System Families.

Clemens Dubslaff Andrey Morozov Christel Baier Klaus Janschek

Published in: MARS@ETAPS (2020)

Keyphrases

data driven
elimination algorithm
real time
data sets
data mining
metadata
three dimensional
high level
multiresolution
hidden markov models
iterative optimization