An Efficient Approach to NP3-Boolean Matching: Leveraging Multi-bit Ports and Reverse Engineering to Minimize Search Space. - Kai-Po Hsu; Yi-Ting Li; Fu-Cheng Cai; Chia-Feng Chien; Wuqian Tang; Ting-Yu Ku; Yu-Chen Cheng; Tsung-Han Lai; Cheng-Lung Wang; Yi-Ting Shen; Kuan-Ling Chou; Zi-Wei Huang; et al. (ISQED, 2026)