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: DATE (2024)

Keyphrases

tensor product
b spline
search algorithm
machine learning
sat solvers