Community-based 3-SAT formulas with a predefined solution.

Yamin Hu Wenjian Luo Junteng Wang

Published in: Int. J. Wirel. Mob. Comput. (2021)

Keyphrases

linear equations
neural network
optimal solution
knowledge base
objective function
search algorithm
search strategies