Thomas B. Preußer, Fredo Erxleben. Design Kernel Exploration Using QBF-Based Boolean Matching. In 2016 IEEE International Workshop on Signal Processing Systems, SiPS 2016, Dallas, TX, USA, October 26-28, 2016. pages 219-223, IEEE, 2016. [doi]
Abstract is missing.