Streamliners for Answer Set Programming

Abstract

Full Citation:

Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol. Streamliners for Answer Set Programming. Proceedings of the 42nd International Conference on Logic Programming (ICLP 2026), 2026. (Note: To appear)

Florentina Voboril

Florentina Voboril is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.