Automating the DNA Computer: Solving n-Variable 3-SAT Problems.
Clifford R. JohnsonPublished in: DNA (2006)
Keyphrases
- sat problem
- np complete problems
- sat solving
- sat instances
- stochastic local search
- boolean formula
- solving hard
- constraint satisfaction problems
- sat solvers
- satisfiability problem
- propositional satisfiability
- variable ordering
- phase transition
- np complete
- hybrid algorithms
- systematic search algorithms
- randomly generated
- random sat instances
- boolean satisfiability
- combinatorial optimization
- dna computing
- decision problems
- truth assignment
- random sat