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

Shanshan Xie, Mengtian Yang, S. Andrew Lanham, Yipeng Wang, Meizhi Wang, Sirish Oruganti, Jaydeep P. Kulkarni. Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems. In IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023. pages 420-421, IEEE, 2023. [doi]

@inproceedings{XieYLWWOK23,
  title = {Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems},
  author = {Shanshan Xie and Mengtian Yang and S. Andrew Lanham and Yipeng Wang and Meizhi Wang and Sirish Oruganti and Jaydeep P. Kulkarni},
  year = {2023},
  doi = {10.1109/ISSCC42615.2023.10067380},
  url = {https://doi.org/10.1109/ISSCC42615.2023.10067380},
  researchr = {https://researchr.org/publication/XieYLWWOK23},
  cites = {0},
  citedby = {0},
  pages = {420-421},
  booktitle = {IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023},
  publisher = {IEEE},
  isbn = {978-1-6654-9016-0},
}