@inproceedings{xie2023snapsat,
  title     = {Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems},
  author    = {Xie, Shanshan and Yang, Mengtian and Lanham, S. Andrew and Wang, Yipeng and Wang, Meizhi and Oruganti, Sirish and Kulkarni, Jaydeep P.},
  booktitle = {IEEE International Solid-State Circuits Conference (ISSCC)},
  pages     = {420--422},
  year      = {2023},
  doi       = {10.1109/ISSCC42615.2023.10067380}
}