2D DNA self-assembly for satisfiability.
Michail G. LagoudakisThomas H. LaBeanPublished in: DNA Based Computers (1999)
Keyphrases
- satisfiability problem
- dna computing
- dna sequences
- propositional logic
- terminological reasoning
- biological sequences
- phase transition
- computational complexity
- dna sequencing
- temporal logic
- search algorithm
- information systems
- decision procedures
- randomly generated
- databases
- quantified boolean formulas
- satisfiability testing
- data sets