Streamliners for Answer Set Programming

Florentina Voboril, Martin Gebser, Stefan Szeider +1

Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space. We adapt the StreamLLM approach, which uses Large Language M…