Publications: Florentina Voboril

⬅️ Zurück zum Profil

2025

• Balancing Latin Rectangles with LLM-Generated Streamliners Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider. 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland
  📄 Details

• StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners Voboril, Florentina, Peruvemba Ramaswamy, Vaidyanathan, Szeider, Stefan. 2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
  📄 Details

• Generating Streamlining Constraints with Large Language Models Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider. Journal of Artificial Intelligence Research
  📄 Details

2023

• Algorithms for Satisfiability Testing Florentina Voboril.
  📄 Details

2022

• Initial Learning of Textual Programming at School: Evolution of Outreach Activities Landman, Martina, Futschek, Gerald, Unkovic, Svetlana, Voboril, Florentina. OLYMPIADS IN INFORMATICS
  📄 Details

• Computing Treewidth with Constraint Programming Florentina Voboril.
  📄 Details