Skip to main navigation Skip to search Skip to main content

Conjure Oxide

Dataset

Description

Experimental release for the ModRef 2025 paper "Solver-Aided Expansion of Loops to Avoid Generate-and-Test".
Date made available2 Aug 2025
PublisherZenodo

Software

  • Software

Contact

Access Dataset

  • 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