Search space reduction for the non-exact projective NPNP Boolean matching problem. - Feng Wang 046; Jiaxi Zhang 001; Lange Wu; Wentai Zhang 001; Guojie Luo (ISCAS, 2017)