Accurate Modeling of Continuous-time SAT Solvers in SPICE

Recently, there has been an increasing interest in employing dynamical systems as solvers of NP-complete problems. In this paper, we present accurate implementations of two continuous-time dynamical solvers, known in the literature as analog SAT and digital memcomputing, using advanced numerical int...

Celý popis

Podrobná bibliografia

Vydané v:	Radioengineering Ročník 34; číslo 3; s. 526 - 540
Hlavní autori:	Pershin, Y. V., Nguyen, D. C.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Spolecnost pro radioelektronicke inzenyrstvi 01.09.2025
Predmet:	3-sat boolean satisfiability problem computing technology nonlinear dynamical systems spice
ISSN:	1210-2512
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!