Login / Signup
Solution of a Satisfiability Problem on a Gel-Based DNA Computer.
Ravinderjit S. Braich
Cliff Johnson
Paul W. K. Rothemund
Darryl Hwang
Nickolas V. Chelyapov
Leonard M. Adleman
Published in:
DNA Computing (2000)
Keyphrases
</>
satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
stochastic local search algorithms
sat instances
max sat
stochastic local search
graph coloring problems
dna sequences
randomly generated
modal logic
decision procedures
pspace complete
mazurkiewicz traces