Unification of Algorithms for Quantification and Unfolding.
Mirko BunsePublished in: GI-Jahrestagung (2022)
Keyphrases
- efficient implementation
- times faster
- orders of magnitude
- learning algorithm
- case study
- computationally expensive
- databases
- worst case
- np hard
- recently developed
- computational efficiency
- machine learning algorithms
- multiscale
- multi objective
- high dimensional
- support vector
- data structure
- similarity measure
- theorem proving