29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems-Reference-Cited by-同舟云学术

29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems

Published:2023-02-19 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE International Solid- State Circuits Conference (ISSCC)
language:
Short-container-title:

Author:

Xie Shanshan¹,Yang Mengtian¹,Lanham S. Andrew¹,Wang Yipeng¹,Wang Meizhi¹,Oruganti Sirish¹,Kulkarni Jaydeep P.¹

Affiliation:

1. University of Texas,Austin,TX,United States

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/10067248/10067251/10067380.pdf?arnumber=10067380

Reference6 articles.

1. FlexSpin: A Scalable CMOS Ising Machine with 256 Flexible Spin Processing Elements for Solving Complex Combinatorial Optimization Problems;su;ISSCC,2022

2. An Extensible SAT-Solver;eén;Conf on Theory and Applications of Satisfiability Testing,0

3. An event-based architecture for solving constraint satisfaction problems

4. An Analog Clock-free Compute Fabric base on Continuous-Time Dynamical System for Solving Combinatorial Optimization Problems

5. Clusters of solutions and replica symmetry breaking in randomk-satisfiability

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FlexSpin: A CMOS Ising Machine With 256 Flexible Spin Processing Elements With 8-b Coefficients for Solving Combinatorial Optimization Problems;IEEE Journal of Solid-State Circuits;2024-08

2. PRESTO: A Processing-in-Memory-Based k-SAT Solver Using Recurrent Stochastic Neural Network With Unsupervised Learning;IEEE Journal of Solid-State Circuits;2024-07

3. 30.3 VIP-Sat: A Boolean Satisfiability Solver Featuring 5×12 Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218-Clauses 3-SAT Problems;2024 IEEE International Solid-State Circuits Conference (ISSCC);2024-02-18