Good encodings for DNA-based solutions to combinatorial problems.
Russell J. DeatonR. C. MurphyMax H. GarzonDonald R. FranceschettiStanley Edward Stevens Jr.Published in: DNA Based Computers (1996)
Keyphrases
- combinatorial problems
- constraint programming
- constraint satisfaction problems
- sat encodings
- metaheuristic
- boolean satisfiability
- combinatorial optimization
- constraint satisfaction
- graph coloring
- traveling salesman problem
- branch and bound algorithm
- solving hard
- phase transition
- combinatorial search
- global constraints
- hard combinatorial optimization problems
- specific problems
- graph colouring
- optimal solution
- maximum satisfiability
- dna sequences
- constraint propagation
- integer programming
- branch and bound
- ant colony optimization
- tabu search
- simulated annealing