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

2025

Generating Streamlining Constraints with Large Language Models

2025

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners

2025

Algorithms for Satisfiability Testing

2023

Computing Treewidth with Constraint Programming

2022

Initial Learning of Textual Programming at School: Evolution of Outreach Activities

2022