Sommer, Frank

6 publications

ICLR 2026 Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural Networks Robert Ganian, Frank Sommer, Manuel Sorge
NeurIPS 2025 Improving Decision Trees Through the Lens of Parameterized Local Search Juha Harviainen, Frank Sommer, Manuel Sorge
ICML 2025 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms Christian Komusiewicz, Andre Schidler, Frank Sommer, Manuel Sorge, Luca Pascal Staus
ICML 2025 Optimal Decision Tree Pruning Revisited: Algorithms and Complexity Juha Harviainen, Frank Sommer, Manuel Sorge, Stefan Szeider
AAAI 2025 Witty: An Efficient Solver for Computing Minimum-Size Decision Trees Luca Pascal Staus, Christian Komusiewicz, Frank Sommer, Manuel Sorge
ICML 2023 On Computing Optimal Tree Ensembles Christian Komusiewicz, Pascal Kunz, Frank Sommer, Manuel Sorge