Publications: Florentina Voboril

2026

Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol

Proceedings of the 42nd International Conference on Logic Programming (ICLP 2026), 2026.
Note: To appear

2025

Balancing Latin Rectangles with LLM-Generated Streamliners

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, 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

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

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.
Note: Abstract reprint in AAAI 2026, page 39900