%0 Conference Paper %1 conf/aspdac/PuiTLCY18 %A Pui, Chak-Wa %A Tu, Peishan %A Li, Haocheng %A Chen, Gengjie %A Young, Evangeline F. Y. %B ASP-DAC %D 2018 %E Shin, Youngsoo %I IEEE %K dblp %P 592-598 %T A two-step search engine for large scale boolean matching under NP3 equivalence. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2018.html#PuiTLCY18 %@ 978-1-5090-0602-1

@inproceedings{conf/aspdac/PuiTLCY18, added-at = {2022-12-07T00:00:00.000+0100}, author = {Pui, Chak-Wa and Tu, Peishan and Li, Haocheng and Chen, Gengjie and Young, Evangeline F. Y.}, biburl = {https://www.bibsonomy.org/bibtex/24c40f974f3598cbebc510618024d7c25/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2018}, editor = {Shin, Youngsoo}, ee = {http://dl.acm.org/citation.cfm?id=3201745}, interhash = {d4167c3710d49fab071f5f3cd9cf5d90}, intrahash = {4c40f974f3598cbebc510618024d7c25}, isbn = {978-1-5090-0602-1}, keywords = {dblp}, pages = {592-598}, publisher = {IEEE}, timestamp = {2024-04-10T04:17:21.000+0200}, title = {A two-step search engine for large scale boolean matching under NP3 equivalence.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2018.html#PuiTLCY18}, year = 2018 }