Automating the DNA computer: Solving \(n\)-variable 3-SAT problems

DOI10.1007/S11047-007-9037-9zbMath1147.68521OpenAlexW1995755345MaRDI QIDQ934980

Clifford R. Johnson

Publication date: 31 July 2008

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11047-007-9037-9

zbMATH Keywords

natural computingDNA computationmolecular computationSAT computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

This page was built for publication: Automating the DNA computer: Solving \(n\)-variable 3-SAT problems