1
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... and applications for self-assembled DNA nanostructures? -- A space-efficient randomized DNA algorithm for k-SAT...

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Approach for Solving SAT by P Systems with Active Membranes -- Maintenance of Chronobiological Information...

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3SAT -- Communicating...

4
Published 2015
Springer International Publishing
Table of Contents: ...: A Thermoreceptor Model as Molecular Slide Rule with EvolutionaryPotential -- A Solution of Horn-SAT...

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...