Sign in

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.

Huimin FuYang XuGuanfeng WuJun LiuShuwei ChenXingxing He
Published in: Inf. Sci. (2021)
Keyphrases
  • genetic algorithm
  • computational complexity
  • neural network
  • search algorithm
  • tabu search
  • decision procedures