@misc{indiciae454acd2a3d60,
  title = {A Semi-Tensor Product based Circuit Simulation for SAT-sweeping},
  author = {Hongyang Pan and Ruibing Zhang and Yinshui Xia and Lunyao Wang and Fan Yang and Xuan Zeng and Zhufei Chu},
  year = {2023},
  url = {https://arxiv.org/abs/2312.00421},
  note = {Source identifier: 2312.00421}
}