Sign in

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

Guoxia NieDaoyun XuXi WangZaijun 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