Florentina Voboril
Projektass.(FWF) Dipl.-Ing.in / BSc
Role
-
PreDoc Researcher
Algorithms and Complexity, E192-01
Publications
- Balancing Latin Rectangles with LLM-Generated Streamliners / Voboril, F., Peruvemba Ramaswamy, V., & Szeider, S. (2025). Balancing Latin Rectangles with LLM-Generated Streamliners. In M. Garcia de la Banda (Ed.), 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.CP.2025.36
- StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners / Voboril, F., Peruvemba Ramaswamy, V., & Szeider, S. (2025). StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. In 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) (pp. 17–22). IEEE. https://doi.org/10.1109/NSE66660.2025.00010
-
SAT-based local improvement for the closest string problem
/
Voboril, F. (2024). SAT-based local improvement for the closest string problem [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119021
Download: PDF (1.79 MB)