The impact of analog computational error on an analog boolean satisfiability solver
David Andrew Basford, Jared M. Smith, R. Joseph Connor, Bruce James MacLennan, Jeremy H. Holleman · 2016
We present an analog implementation of a dynamical system for solving Boolean satisfiability, an NP-complete problem. Simulations of modest-sized hardware implementations in the presence of noise and integrator offset demonstrate that the algorithm is suitable for implementation in analog electronics.