Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient

•A numerical simulation algorithm for analog Boolean satisfiability solver is proposed.•The proposed method uses the discrete gradient for fast and stable simulation.•The large time step of the method did not degrade the performance of the solver. To explore the design of analog computing devices, m...

Ausführliche Beschreibung