Xie, Shanshan, Yang, Mengtian, Lanham, S. Andrew, Wang, Yipeng, Wang, Meizhi, Oruganti, Sirish, and Kulkarni, Jaydeep P. 29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems. Web. doi:10.1109/ISSCC42615.2023.10067380.

Xie, Shanshan, Yang, Mengtian, Lanham, S. Andrew, Wang, Yipeng, Wang, Meizhi, Oruganti, Sirish, & Kulkarni, Jaydeep P. 29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems. https://doi.org/10.1109/ISSCC42615.2023.10067380

Xie, Shanshan, Yang, Mengtian, Lanham, S. Andrew, Wang, Yipeng, Wang, Meizhi, Oruganti, Sirish, and Kulkarni, Jaydeep P. "29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems". Country unknown/Code not available: IEEE. https://doi.org/10.1109/ISSCC42615.2023.10067380. https://par.nsf.gov/biblio/10475966.

@article{osti_10475966,
place = {Country unknown/Code not available}, title = {29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems}, url = {https://par.nsf.gov/biblio/10475966}, DOI = {10.1109/ISSCC42615.2023.10067380}, abstractNote = {}, journal = {}, publisher = {IEEE}, author = {Xie, Shanshan and Yang, Mengtian and Lanham, S. Andrew and Wang, Yipeng and Wang, Meizhi and Oruganti, Sirish and Kulkarni, Jaydeep P.}, }