He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amarú, Alan Mishchenko, Robert K. Brayton. Deep Integration of Circuit Simulator and SAT Solver. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 877-882, IEEE, 2021. [doi]
Abstract is missing.