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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Radioengineering Jg. 34; H. 3; S. 526 - 540
Hauptverfasser:	Pershin, Y. V., Nguyen, D. C.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Spolecnost pro radioelektronicke inzenyrstvi 01.09.2025
Schlagworte:	3-sat boolean satisfiability problem computing technology nonlinear dynamical systems spice
ISSN:	1210-2512
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!