@article{KirchwegerSzeider24,
 author = {Markus Kirchweger and Stefan Szeider},
 doi = {10.1145/3670405},
 journal = {ACM Transactions on Computational Logic},
 keywords = {asksat},
 number = {3},
 title = {{SAT} Modulo Symmetries for Graph Generation and Enumeration},
 volume = {25},
 year = {2024}
}