Staus, Luca Pascal

2 publications

ICML 2025 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms Christian Komusiewicz, Andre Schidler, Frank Sommer, Manuel Sorge, Luca Pascal Staus
AAAI 2025 Witty: An Efficient Solver for Computing Minimum-Size Decision Trees Luca Pascal Staus, Christian Komusiewicz, Frank Sommer, Manuel Sorge