Florentina Voboril
Projektass.(FWF) Dipl.-Ing.in

Florentina Voboril

BSc
Phone: +43 1 58801 192153
Email: fvoboril@ac.tuwien.ac.at
ORCID: 0009-0005-5683-5386
TU Wien Directory: TISS Profile

Biography

Florentina Voboril is part of the Scientific Staff at TU Wien.

Recent Publications

Streamliners for Answer Set Programming
Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol
Proceedings of the 42nd International Conference on Logic Programming (ICLP 2026), 2026.
Note: To appear
bib Project Project
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 bib Project Project 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
bib Project Project Project
StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
Florentina Voboril, Peruvemba Ramaswamy, Vaidyanathan, Stefan Szeider
2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE), pages 17-22, 5 2025, IEEE.
PDF bib Project Project Project DOI
Algorithms for Satisfiability Testing
Florentina Voboril
9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.
bib