There is a newer version of the record available.

Published March 21, 2024 | Version CPAIOR2024
Software Open

ciaranm/glasgow-constraint-solver: CPAIOR2024

Creators

  • 1. University of Glasgow

Description

Release associated with the publication Matthew J. McIlree, Ciaran McCreesh, and Jakob Nordström, "Proof Logging for the Circuit Constraint", The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2024).

Files

ciaranm/glasgow-constraint-solver-CPAIOR2024.zip

Files (321.1 kB)

Name Size Download all
md5:06e19af3d2dd6730b625c6c79fdd3e09
321.1 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/ciaranm/glasgow-constraint-solver/tree/CPAIOR2024 (URL)