Published November 14, 2025
| Version vAAAI26
Software
Open
markusa4/satsuma: satsuma version used in AAAI26
Authors/Creators
Description
Exact version tested in the AAAI '26 paper "Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables".
Files
markusa4/satsuma-vAAAI26.zip
Files
(83.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c33fd71796dd590d885af90a145c9db
|
83.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/markusa4/satsuma/tree/vAAAI26 (URL)
Software
- Repository URL
- https://github.com/markusa4/satsuma