@inproceedings{Szeider25b,
 author = {Stefan Szeider},
 booktitle = {Satisfiability Checking and Symbolic Computation, 10th International
Workshop, {SC-Square} 2025, Stuttgart, Germany, August 2, 2025,
co-located with {CADE} 2025},
 keywords = {asksat, coe},
 pages = {1--11},
 publisher = {CEUR-WS.org},
 series = {{CEUR} Workshop Proceedings},
 title = {{SAT} Modulo Symmetries: {A} Survey},
 url = {https://ceur-ws.org/Vol-4116/},
 volume = {4116},
 year = {2025}
}