@inproceedings{KirchwegerSzeider24a,
 author = {Markus Kirchweger and Stefan Szeider},
 booktitle = {The 30th International Conference on Principles and
Practice of Constraint Programming, CP 2024},
 editor = {Paul Shaw},
 keywords = {asksat},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Computing small Rainbow Cycle Numbers with {SAT}
modulo Symmetries},
 year = {2024}
}