@inproceedings{KirchwegerSzeider21,
 author = {Markus Kirchweger and Stefan Szeider},
 booktitle = {Proceeings of CP 2021, the 27th International
Conference on Principles and Practice of Constraint
Programming},
 doi = {10.4230/LIPIcs.CP.2021.34},
 editor = {Laurent D. Michel},
 keywords = {reveal, slim},
 pages = {39:1–-39:17},
 pdf = {https://drops.dagstuhl.de/opus/volltexte/2021/15325/},
 publisher = {Dagstuhl Publishing},
 series = {Leibniz International Proceedings in Informatics
(LIPIcs)},
 title = {{SAT} Modulo Symmetries for Graph Generation},
 year = {2021}
}