Florentina Voboril
Address:
Florentina Voboril
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria
| Room: | HA0402 |
| Phone: | +43(1)58801–192153 |
| Email: | fvoboril@ac.tuwien.ac.at |
| Web: | http://www.ac.tuwien.ac.at/people/fvoboril/ |
See also my personal website: https://www.florentina-voboril.com/
Publications
7 results| 2026 | |
| [7] | Streamliners for Answer Set Programming Proceedings 42nd International Conference on Logic Programming, ICLP 2026, Lisbon, Portugal, 20-23rd July 2026 (Wolfgang Faber, Laura Giordano, Ricardo Rocha, Vítor Santos Costa, eds.), volume 450 of EPTCS, pages 236–255, 2026. Note: Preprint: CoRR abs/2604.19251, https://arxiv.org/abs/2604.19251 |
| 2025 | |
| [6] | Generating Streamlining Constraints with Large Language Models Journal of Artificial Intelligence Research, volume 84, pages 16:1–16:19, 2025. Note: Abstract reprint in AAAI 2026, page 39900 |
| [5] | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17-22, 5 2025, IEEE Computer Soc.. |
| [4] | Balancing Latin Rectangles with LLM-Generated Streamliners 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda, ed.), volume 340 of LIPIcs, pages 36:1–36:17, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. |
| 2023 | |
| [3] | Algorithms for Satisfiability Testing 9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn. |
| 2022 | |
| [2] | Initial Learning of Textual Programming at School: Evolution of Outreach Activities OLYMPIADS IN INFORMATICS, pages 43–53, 1 2022. |
| [1] | Computing Treewidth with Constraint Programming pages 115–126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn. |
