Hiding multiple solutions in a hard 3-SAT formula.

Ran Liu Wenjian Luo Lihua Yue

Published in: Data Knowl. Eng. (2015)

Keyphrases

propositional logic
search algorithm
neural network
optimal solution
search methods
sat solvers
search tree
stochastic local search
data sets
computational complexity
heuristic search
solution quality
satisfiability problem
search procedures
stochastic local search algorithms