Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT. ∗ (2002)

by F. J. Martín-mateos , J. A. Alonso , M. J. Pérez-jiménez , F. Sancho-caparrini