Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition | IEEE Conference Publication | IEEE Xplore