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