An Algorithm for SAT Without an Extraction Phase.

Pierluigi Frisco, Christiaan V. Henkel, Szabolcs Tengely

Browse the full DNA paper archive.