Review
Standardizing Boolean Transforms
This paper proposes a unified representation of individual instances of the resubstitution problem and several solvers with different runtime/quality tradeoffs that cover a broad range of use-cases in logic synthesis and formal verification.
Alan Mishchenko, Yukio Miyasaka, John Wawrzynek et al.
· 0 citations