Keyphrases
- dna computing
- sat problem
- satisfiability problem
- np complete
- constraint satisfaction problems
- dna sequences
- phase transition
- sat solvers
- implicit enumeration
- randomly generated
- boolean satisfiability
- max sat
- sat solving
- sat instances
- decision problems
- davis putnam
- propositional satisfiability
- temporal logic
- cnf formula
- np hard
- random sat
- backtracking search
- stochastic local search
- branch and bound
- special case
- mobile devices
- constraint satisfaction
- decision makers
- dynamic programming
- knowledge base