Florentina Voboril

According to our database, Florentina Voboril authored at least 14 papers between 2022 and 2026.

Collaborative distances:

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

2026

Streamliners for Answer Set Programming.

Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol

CoRR, April, 2026

Code and Instances for the Paper: Streamliners for Answer Set Programming.

Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol

Dataset, January, 2026

Generating Streamlining Constraints with Large Language Models (Abstract Reprint).

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

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

Florentina Voboril, P. R. Vaidyanathan, Stefan Szeider

Dataset, October, 2025

Supplementary Material for Paper - Balancing Latin Rectangles with LLM-generated Streamliners.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Dataset, June, 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

Generating Streamlining Constraints with Large Language Models.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

J. Artif. Intell. Res., 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