Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper).

Markus Kirchweger, Stefan Szeider

Browse the full CP paper archive.