Neng-Fa Zhou

1. Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning
   2026/07/20 by Chufeng Jiang, Neng-Fa Zhou, Neng‐Fa Zhou
   Computer Science · Engineering · #Numerical Methods and Algorithms #Low-power high-performance VLSI design #Cryptography and Residue Arithmetic