A Semi-Tensor Product based Circuit Simulation for SAT-sweeping.

Hongyang Pan Ruibing Zhang Yinshui Xia Lunyao Wang Fan Yang Xuan Zeng Zhufei Chu

Published in: CoRR (2023)

Keyphrases

tensor product
b spline
search algorithm
least squares
dimensionality reduction