Login / Signup
Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction.
Xiaolong Wang
Zhenmin Bao
Jingjie Hu
Shi Wang
Aibin Zhan
Published in:
Biosyst. (2008)
Keyphrases
</>
learning algorithm
dna computing
computational complexity
randomly generated
combinatorial optimization
implicit enumeration
search space
dynamic programming
satisfiability problem
simulated annealing
linear programming
np complete
cloud computing