Florentina Voboril

Generating Streamlining Constraints with Large Language Models (Abstract Reprint)

Streamlining constraints (or streamliners, for short) narrow the search space, enhancing the speed and feasibility of solving complex constraint satisfaction problems. Traditionally, streamliners were crafted manually or generated through systematically combined atomic constraints with high-effort o