Publications: Florentina Voboril

⬅️ Zurück zum Profil

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 bib
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 bib
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.
bib

2023

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

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 bib
Computing Treewidth with Constraint Programming
Florentina Voboril
pages 115-126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn.
PDF bib
AC Admin
AC Admin

Website maintainer