Sciweavers

DNA
2005
Springer
130views Bioinformatics» more  DNA 2005»
14 years 5 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...