Florentina Voboril

Address:
Florentina Voboril
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria

Room:	HA0402
Phone:	+43(1)58801–192153
Email:	fvoboril@ac.tuwien.ac.at
Web:	http://www.ac.tuwien.ac.at/people/fvoboril/

See also my personal website: https://www.florentina-voboril.com/

Publications

5 results

2025
[5]	StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider 2025, IEEE Computer Soc.. Note: To appear [bibtex]
2024
[4]	Realtime Generation of Streamliners with Large Language Models Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider CoRR, volume abs/2408.10268, 2024. [bibtex] [pdf] [doi]
2023
[3]	Algorithms for Satisfiability Testing Florentina Voboril September 2023, SKILL 2023, Gesellschaft für Informatik, Bonn. [bibtex]
2022
[2]	Initial Learning of Textual Programming at School: Evolution of Outreach Activities Martina Landman, Gerald Futschek, Svetlana Unkovic, Florentina Voboril OLYMPIADS IN INFORMATICS, pages 43–53, January 2022. [bibtex] [pdf] [doi]
[1]	Computing Treewidth with Constraint Programming Florentina Voboril pages 115–126, September 2022, SKILL 2022, Gesellschaft für Informatik, Bonn. [bibtex] [pdf]