Chak-Wa Pui, Peishan Tu, Haocheng Li, Gengjie Chen, Evangeline F. Y. Young. A two-step search engine for large scale boolean matching under NP3 equivalence. In 23rd Asia and South Pacific Design Automation Conference, ASP-DAC 2018, Jeju, Korea (South), January 22-25, 2018. pages 592-598, IEEE, 2018. [doi]
Abstract is missing.