Accurate modeling of continuous-time SAT solvers in SPICE

Yuriy V. Pershin, Dyk Chung Nguyen

Recently, there has been an increasing interest in employing dynamical systems as solvers of NP-complete problems. In this paper, we present accurate implementations of two continu…