Login / Signup

Ramsey-type graph coloring and diagonal non-computability.

Ludovic Patey
Published in: Arch. Math. Log. (2015)
Keyphrases
  • graph coloring
  • combinatorial problems
  • job shop scheduling
  • scheduling problem
  • phase transition
  • np complete problems
  • max sat
  • tabu search
  • dna sequences