PRESTO: A Processing-in-Memory-Based -SAT Solver Using Recurrent Stochastic Neural Network With Unsupervised Learning

D Kim, NM Rahman… - IEEE Journal of Solid …, 2024 - ieeexplore.ieee.org
In this article, we introduce a processing-in-memory (PIM)-based satisfiability (SAT) solver
called Processing-in-memory-based SAT solver using a Recurrent Stochastic neural …
Αποθήκευση Παράθεση Γίνεται αναφορά σε 1 Σχετικά άρθρα