Solver-Aided Expansion of Loops to Avoid Generate-and-Test. - Niklas Dewally; Özgür Akgün (CoRR, 2025)