Sign in

Toward Optimal Radio Colorings of Hypercubes via SAT-solving.

Bernardo SubercaseauxMarijn Heule
Published in: LPAR (2023)
Keyphrases
  • sat solving
  • optimal solution
  • sat solvers
  • scheduling problem
  • boolean optimization