Login / Signup

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

Chak-Wa PuiPeishan TuHaocheng LiGengjie ChenEvangeline F. Y. Young
Published in: ASP-DAC (2018)
Keyphrases