• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
The upper bound of phase transition point of multi literal satisfiability problem
LU Lei, WANG Xiao-feng, LIANG Chen, ZHANG Jiu-long
Computer Engineering & Science . 2022, (07): 1282 -1290 .