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

Florentina Voboril

BSc

Biography

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

Projects

ASK-SAT: Alternating Symmetry-Breaking Combinatorial Search with SAT

Project Acronym: ASK-SAT (Alternating Symmetry-Breaking Combinatorial Search …

STRIDES: Structure Identification with SAT

Project Acronym: STRIDES (Structure Identification with SAT)

Recent Publications

Balancing Latin Rectangles with LLM-Generated Streamliners
Florentina Voboril
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 Cite 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.
Cite 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 Cite Project Project Project DOI
Algorithms for Satisfiability Testing
Florentina Voboril
9 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.
Cite
Computing Treewidth with Constraint Programming
Florentina Voboril
pages 115-126, 9 2022, SKILL 2022, Gesellschaft für Informatik, Bonn.
PDF Cite
Initial Learning of Textual Programming at School: Evolution of Outreach Activities
Landman, Martina, Futschek, Gerald, Unkovic, Svetlana, Florentina Voboril
OLYMPIADS IN INFORMATICS, pages 43-53, 1 2022.
PDF Cite DOI