Publications: Florentina Voboril

⬅️ Zurück zum Profil

2025

Balancing Latin Rectangles with LLM-Generated Streamliners
Florentina Voboril and Vaidyanathan Peruvemba Ramaswamy and Stefan Szeider
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 36:1-36:17, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[pdf] [doi] [details]

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
Voboril, Florentina, Peruvemba Ramaswamy, Vaidyanathan, Szeider, Stefan
2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17-22, 5 2025, IEEE.
[pdf] [doi] [details]

Generating Streamlining Constraints with Large Language Models
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Journal of Artificial Intelligence Research, volume 84, pages 16:1-16:19, 2025.
[details]

2023

Algorithms for Satisfiability Testing
Florentina Voboril
9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.
[details]

2022

Initial Learning of Textual Programming at School: Evolution of Outreach Activities
Landman, Martina, Futschek, Gerald, Unkovic, Svetlana, Voboril, Florentina
OLYMPIADS IN INFORMATICS, pages 43-53, 1 2022.
[pdf] [doi] [details]

Computing Treewidth with Constraint Programming
Florentina Voboril
pages 115-126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn.
[pdf] [details]