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

Full description

Bibliographic Details

Published in:	Radioengineering Vol. 34; no. 3; pp. 526 - 540
Main Authors:	Pershin, Y. V., Nguyen, D. C.
Format:	Journal Article
Language:	English
Published:	Spolecnost pro radioelektronicke inzenyrstvi 01.09.2025
Subjects:	3-sat boolean satisfiability problem computing technology nonlinear dynamical systems spice
ISSN:	1210-2512
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!