To SAT or Not to SAT: Scalable Exploration of Functional Dependency

[摘要]：Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g(1),...,g(n)}, i. e., f h(g(1),...,g(n)). It plays an important role in many aspects of electronic design automation (EDA). Prior approac

[全文传递流程]：

一般上传文献全文的时限在1个工作日内