Phase Transition in Realistic Random SAT Models.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy

Published in: CCIA (2019)

Keyphrases

phase transition
random sat
random constraint satisfaction problems
constraint satisfaction
sat problem
np complete
randomly generated
combinatorial problems
random graphs
satisfiability problem
hard problems
graph coloring
np hard
sat instances
random instances
constraint satisfaction problems
dynamic programming