Sciweavers

150
Voted
DNA
2005
Springer
130views Bioinformatics» more  DNA 2005»
15 years 10 months ago
An Algorithm for SAT Without an Extraction Phase
An algorithm that could be implemented at a molecular level for solving the satisfiability of Boolean expressions is presented. This algorithm, based on properties of specific se...
Pierluigi Frisco, Christiaan Henkel, Szabolcs Teng...