A two-step search engine for large scale boolean matching under NP3 equivalence.

Chak-Wa Pui, Peishan Tu, Haocheng Li, Gengjie Chen, Evangeline F. Y. Young

Browse the full ASPDAC paper archive.