Florentina Voboril

According to our database, Florentina Voboril authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Code and Instances for the Paper - StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Dataset, February, 2025

Code and Instances for the Paper: Generating Streamlining Constraints with Large Language Models.

Florentina Voboril, P. R. Vaidyanathan, Stefan Szeider

Dataset, January, 2025

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

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Proceedings of the 1st IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering, 2025

Balancing Latin Rectangles with LLM-Generated Streamliners.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Code and Instances for the Paper Realtime Generation of Streamliners with Large Language Models.

Florentina Voboril, P. R. Vaidyanathan, Stefan Szeider

Dataset, August, 2024

Realtime Generation of Streamliners with Large Language Models.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

CoRR, 2024

2023

Algorithms for Satisfiability Testing.

Florentina Voboril

Proceedings of the Studierendenkonferenz Informatik, 2023

2022

Computing Treewidth with Constraint Programming.

Florentina Voboril

Proceedings of the Studierendenkonferenz Informatik, 2022