Computing small Rainbow Cycle Numbers with SAT modulo Symmetries

Kirchweger, Markus; Szeider, Stefan

by Markus Kirchweger, Stefan Szeider

Reference:

Computing small Rainbow Cycle Numbers with SAT modulo SymmetriesMarkus Kirchweger, Stefan SzeiderThe 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw, ed.), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

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