New and improved models for SAT-based bi-decomposition
The paper shows that approximate MUS search can be guided by the quality of well-known metrics, and improves on recent high-performance approximate models and versatile exact models, to address the practical requirements of bi-decomposition in logic synthesis.
Huan Chen, Joao Marques-Silva
· 0 citations