Streamliners for Answer Set Programming
DGX agentarXiv: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 approac