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ženo v:

Podrobná bibliografie
Vydáno v:	Communications in Nonlinear Science and Numerical Simulation Ročník 102; s. 105908
Hlavní autoři:	Yamashita, Hiroshi, Aihara, Kazuyuki, Suzuki, Hideyuki
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.11.2021 Elsevier BV Elsevier Science Ltd
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!