Anders et al. "Satsuma: Structure-Based Symmetry Breaking in SAT." Journal of Artificial Intelligence Research, 2026. doi:10.1613/JAIR.1.18744
Markdown
[Anders et al. "Satsuma: Structure-Based Symmetry Breaking in SAT." Journal of Artificial Intelligence Research, 2026.](https://mlanthology.org/jair/2026/anders2026jair-satsuma/) doi:10.1613/JAIR.1.18744
BibTeX
@article{anders2026jair-satsuma,
title = {{Satsuma: Structure-Based Symmetry Breaking in SAT}},
author = {Anders, Markus and Brenner, Sofia and Rattan, Gaurav},
journal = {Journal of Artificial Intelligence Research},
year = {2026},
doi = {10.1613/JAIR.1.18744},
volume = {85},
url = {https://mlanthology.org/jair/2026/anders2026jair-satsuma/}
}