Computing Treewidth with Constraint Programming. - Florentina Voboril (SKILL, 2022)

Algorithms for Satisfiability Testing. - Florentina Voboril (SKILL, 2023)

Realtime Generation of Streamliners with Large Language Models. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CoRR, 2024)

Code and Instances for the Paper Realtime Generation of Streamliners with Large Language Models. - Florentina Voboril; P. R. Vaidyanathan; Stefan Szeider (Zenodo, 2024)

Balancing Latin Rectangles with LLM-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CP, 2025)

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (NSE@ICSE, 2025)

Code and Instances for the Paper: Generating Streamlining Constraints with Large Language Models. - Florentina Voboril; P. R. Vaidyanathan; Stefan Szeider (Zenodo, 2025)

Code and Instances for the Paper - StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (Zenodo, 2025)