Minimal Coverability Tree Construction Made Complete and Efficient.

Alain Finkel Serge Haddad Igor Khmelnitsky

Published in: FoSSaCS (2020)

Keyphrases

tree construction
decision trees
suffix tree
r tree
data mining
data structure
lightweight