TY  - RPRT
TI  - A Semi-Tensor Product based Circuit Simulation for SAT-sweeping
AU  - Hongyang Pan
AU  - Ruibing Zhang
AU  - Yinshui Xia
AU  - Lunyao Wang
AU  - Fan Yang
AU  - Xuan Zeng
AU  - Zhufei Chu
PY  - 2023
UR  - https://arxiv.org/abs/2312.00421
ID  - 2312.00421
ER  -