Experimental analyses on phase transitions in compiling satisfiability problems.

Jian Gao Jianan Wang Minghao Yin

Published in: Sci. China Inf. Sci. (2015)

Keyphrases

phase transition
satisfiability problem
np complete
constraint satisfaction
search algorithm
temporal logic
stochastic local search
sat problem
hard problems
graph coloring
solving hard
random instances
combinatorial problems
randomly generated
random graphs
pspace complete
optimal solution