Login / Signup
A new algorithm for Solving 3-CNF-SAT problem.
Belal Qasemi
Published in:
CoRR (2017)
Keyphrases
</>
dynamic programming
randomly generated
learning algorithm
objective function
computational complexity
optimal solution
np hard
combinatorial optimization
hybrid algorithms
search space
metaheuristic
stochastic local search
cnf formula
sat solving