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...

Full description

Saved in:

Bibliographic Details
Published in:	Communications in Nonlinear Science and Numerical Simulation Vol. 102; p. 105908
Main Authors:	Yamashita, Hiroshi, Aihara, Kazuyuki, Suzuki, Hideyuki
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.11.2021 Elsevier BV Elsevier Science Ltd
Subjects:	Accuracy Adaptive control Adaptive step size Algorithms Boolean Boolean algebra Boolean satisfiability problem Computer simulation Continuous time systems Continuous-time SAT solver Control methods Digital computers Discrete gradient Mathematical models Numerical stability Performance degradation Problem solving Solvers Adaptive step size Continuous-time SAT solver Boolean satisfiability problem Discrete gradient
ISSN:	1007-5704, 1878-7274
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!