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

researchr

You are not signed in
Sign in
Sign up

Daehyun Kim 0002, Nael Mizanur Rahman, Saibal Mukhopadhyay. PRESTO: A Processing-in-Memory-Based k-SAT Solver Using Recurrent Stochastic Neural Network With Unsupervised Learning. J. Solid-State Circuits, 59(7):2310-2320, July 2024. [doi]

Abstract is missing.

runs on WebDSL