Publications: Florentina Voboril
2026
| [1] | 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
| [1] | 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 |
| [2] | 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. |
| [3] | 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. |
2023
| [1] | Algorithms for Satisfiability Testing 9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn. |
2022
| [1] | Initial Learning of Textual Programming at School: Evolution of Outreach Activities OLYMPIADS IN INFORMATICS, pages 43–53, 1 2022. |
| [2] | Computing Treewidth with Constraint Programming pages 115–126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn. |
AC Admin
Website maintainer