TY  - RPRT
TI  - Accurate modeling of continuous-time SAT solvers in SPICE
AU  - Yuriy V. Pershin
AU  - Dyk Chung Nguyen
PY  - 2024
DO  - 10.13164/re.2025.0526
UR  - https://arxiv.org/abs/2412.14690
ID  - 2412.14690
ER  -