Abstract
Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol. Streamliners for Answer Set Programming. Proceedings 42nd International Conference on Logic Programming, ICLP 2026, Lisbon, Portugal, 20-23rd July 2026 (Wolfgang Faber, Laura Giordano, Ricardo Rocha, Vítor Santos Costa, eds.), volume 450 of EPTCS, pages 236–255, 2026. (Note: Preprint: CoRR abs/2604.19251, https://arxiv.org/abs/2604.19251)
Type
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.