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á bibliografie

Vydáno v:	Radioengineering Ročník 34; číslo 3; s. 526 - 540
Hlavní autoři:	Pershin, Y. V., Nguyen, D. C.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Spolecnost pro radioelektronicke inzenyrstvi 01.09.2025
Témata:	3-sat boolean satisfiability problem computing technology nonlinear dynamical systems spice
ISSN:	1210-2512
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!