Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Post Doc |
|---|---|
| Fachgebiet | Theoretische Informatik |
| Keywords | Parameterized Complexity, Neural Networks, Decision Trees |
Aktuelle Kontaktadresse
| Land | Deutschland |
|---|---|
| Ort | Jena |
| Universität/Institution | Friedrich-Schiller-Universität Jena |
| Institut/Abteilung | Institut für Informatik |
Gastgeber*innen während der Förderung
| Dr. Manuel Sorge | Institute of Logic and Computation, Technische Universität Wien, Wien |
|---|---|
| Prof. Dr. Christian Komusiewicz | Institut für Informatik, Friedrich-Schiller-Universität Jena, Jena |
| Beginn der ersten Förderung | 01.06.2024 |
Programm(e)
| 2024 | Feodor Lynen-Forschungsstipendien-Programm für Postdocs |
|---|
Publikationen (Auswahl)
| 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 |