Streamliners for Answer Set Programming
arXiv:2604.19251v1 Announce Type: cross
Abstract: 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 Models (LLMs) to gener…