Sign in

Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper).

Vaidyanathan Peruvemba RamaswamyStefan Szeider
Published in: CP (2023)
Keyphrases
  • satisfiability problem
  • sat solvers
  • phase transition
  • search algorithm
  • sat problem
  • neural network
  • genetic algorithm
  • learning algorithm
  • upper bound
  • constraint satisfaction
  • optical character recognition
  • max sat