Author

Joao Marques-Silva

ICREA & IIIA-CSIC

h-index 60 Homepage View on Semantic Scholar

We have 1 of 322 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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