Published December 16, 2024
| Version AAAI2025
Software
Open
ciaranm/glasgow-constraint-solver: AAAI2025
Description
Release associated with the publication Matthew J. McIlree, Ciaran McCreesh, "Certifying Bounds Propagation for Integer Multiplication Constraints", The 39th Annual AAAI Conference on Artificial Intelligence (AAAI2025).
Files
ciaranm/glasgow-constraint-solver-AAAI2025.zip
Files
(400.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1747aee92bf6e3e780950317842f860b
|
400.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ciaranm/glasgow-constraint-solver/tree/AAAI2025 (URL)
Software
- Repository URL
- https://github.com/ciaranm/glasgow-constraint-solver