Wu Z, TANG X*, Zhang T, LIN L, LUO H, XU B, WU Z, SONG J, LIANG Y, BO X, et al. SKADI: A 28nm Complete K-SAT Solver Featuring Dual-Path SRAM-Based Macro and Incremental Update with 100% Solvability, in 2025 International Solid-State Circuits Conference (ISSCC). San Francisco, CA, USA: IEEE Press; 2025:614-616.