Publications (partial selection)
| 2025 | Christian Komusiewicz and
Andr{\'{e}} Schidler and
Frank Sommer and
Manuel Sorge and
Luca Pascal Staus: Learning Minimum-Size {BDD}s: Towards Efficient Exact Algorithms. Proceedings of the 42th International Conference on Machine Learning ({ICML}~'25). 2025. |
|---|
| 2025 | Juha Harviainen and
Frank Sommer and
Manuel Sorge and
Stefan Szeider: Optimal Decision Tree Pruning Revisited: Algorithms and Complexity. Proceedings of the 42th International Conference on Machine Learning ({ICML}~'25). 2025. |
|---|
| 2025 | Luca Pascal Staus and
Christian Komusiewicz and
Frank Sommer and
Manuel Sorge: Witty: An Efficient Solver for Computing Minimum-Size Decision Trees. Proceedings of the 39th Conference on Artificial Intelligence ({AAAI}~'25). {AAAI} Press, 2025. 20584--20591 |
|---|
