Fast Boolean matching based on NPN classification. - Zheng Huang; Lingli Wang; Yakov Nasikovskiy; Alan Mishchenko (FPT, 2013)