Philipp Danzinger

Projektass.(FWF) Dipl.-Ing. / BSc

Role

PreDoc Researcher
Databases and Artificial Intelligence, E192-02

Contact

Projects

CD Laboratory for Artificial Intelligence and Optimization for Planning and Scheduling
2017 – 2025 / Christian Doppler Research Association (CDG)
Publications: 136808 / 139849 / 138379 / 138399 / 138528 / 138530 / 144345 / 142199 / 142211 / 142210 / 142193 / 141227 / 143220 / 143222 / 190688 / 191173 / 193566 / 192686 / 192678 / 203673 / 204355 / 209771 / 209950 / 209926 / 209911 / 209932 / 208556 / 209917 / 210249 / 208780 / 210368 / 210992 / 213563 / 213929 / 213924 / 225287 / 222796 / 222794 / 222793 / 222792 / 222791 / 226095 / 231457 / 230843 / 230866 / 24775 / 55565 / 55636 / 57470 / 57475 / 57476 / 57570 / 57572 / 57573 / 57872 / 57873 / 57874 / 57876 / 57878 / 57880 / 58293 / 58340 / 58583 / 58584 / 58585 / 58586 / 58590 / 58591 / 86907 / 87083

Publications

From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc / Danzinger, P., & Musliu, N. (2026). From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc. In Proceedings of the 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 379, pp. 17:1-17:19. 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026), Lisbon, Portugal. Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.CP.2026.17
Project: BILAI (2024–2029)
Modeling and Solving the Generalized Test Laboratory Scheduling Problem / Danzinger, P., Geibinger, T., Mischek, F., & Musliu, N. (2025). Modeling and Solving the Generalized Test Laboratory Scheduling Problem. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I (pp. 188–204). Springer. https://doi.org/10.1007/978-3-031-95973-8_12
Projects: ARTIS (2017–2025) / BioLog (2022–2026)
Optimizing constraint programming for real world scheduling of test Laboratories / Danzinger, P. (2024). Optimizing constraint programming for real world scheduling of test Laboratories [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.110696
Download: PDF (788 KB)
A System for Automated Industrial Test Laboratory Scheduling / Danzinger, P., Geibinger, T., Janneau, D., Mischek, F., Musliu, N., & Poschalko, C. (2022). A System for Automated Industrial Test Laboratory Scheduling. ACM Transactions on Intelligent Systems and Technology. https://doi.org/10.1145/3546871
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping / Danzinger, P., Geibinger, T., Mischek, F., & Musliu, N. (2020). Solving the Test Laboratory Scheduling Problem with Variable Task Grouping. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (pp. 357–365). http://hdl.handle.net/20.500.12708/58340
Project: ARTIS (2017–2025)