AI RESEARCH
Streamliners for Answer Set Programming
arXiv CS.AI
•
ArXi:2604.19251v1 Announce Type: cross 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 generate streamliners for Constraint Programming, to Answer Set Programming (ASP). Given an ASP encoding and a few small