Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula.

Guoxia Nie Daoyun Xu Xi Wang Zaijun Zhang

Published in: Frontiers Comput. Sci. (2024)

Keyphrases

phase transition
sat problem
np complete
satisfiability problem
cnf formula
constraint satisfaction
cellular automata
randomly generated
hard problems
computational complexity
data model
random graphs