TY  - RPRT
TI  - SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems
AU  - Ahmet Yusuf Salim
AU  - Bart Selman
AU  - Henry Kautz
AU  - Zeljko Ignjatovic
AU  - Selçuk Köse
PY  - 2024
UR  - https://arxiv.org/abs/2411.01028
ID  - 2411.01028
ER  -