A two-step search engine for large scale boolean matching under NP3 equivalence | IEEE Conference Publication | IEEE Xplore