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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Communications in Nonlinear Science and Numerical Simulation Ročník 102; s. 105908
Hlavní autori:	Yamashita, Hiroshi, Aihara, Kazuyuki, Suzuki, Hideyuki
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.11.2021 Elsevier BV Elsevier Science Ltd
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!