C. Henkel, P. Frisco and Sz. Tengely: An algorithm for SAT without an extraction phase, DNA Computing, Eleventh International Meeting on DNA Based Computers, LNCS. Vol. 3892, ISBN: 3-540-34161-7, 67-80. DNA.ps
In mathematics you don't understand things. You just get used to them. – (John von Neumann)