Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli. SAT based exact synthesis using DAG topology families. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]
Abstract is missing.