Skip to main navigation Skip to search Skip to main content

niklasdewally/2025-comprehension-unrolling-modref: Published @ Modref 2025

Dataset

Description

Supplemental repository for the Modref 2025 paper "Solver-Aided Expansion of Loops to Avoid Generate-and-Test"
Date made available2 Aug 2025
PublisherZenodo

Software

  • Software

Contact

  • 1 Conference contribution

  • Solver-aided expansion of loops to avoid generate-and-test

    Dewally, N. & Akgün, Ö., 11 Aug 2025, ModRef 2025 - The 24rd workshop on constraint modelling and reformulation (ModRef). p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

Cite this