Phase transitions of iterated Higman-style well-partial-orderings.

Lew Gordeev Andreas Weiermann

Published in: Arch. Math. Log. (2012)

Keyphrases

phase transition
constraint satisfaction
random constraint satisfaction problems
satisfiability problem
randomly generated
np complete
graph coloring
hard problems
combinatorial problems
np complete problems
sat problem
random instances
deep structure
random graphs
learning algorithm
state space