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

Markus Kirchweger Stefan Szeider

Published in: CP (2024)

Keyphrases

small number
search algorithm
satisfiability problem
databases
data sets
information retrieval
genetic algorithm
knowledge representation
sat problem
max sat