vix.ing · top · new · best · stats · spec

Zhang, Juling

  1. An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion
    2017/08/11 by Juling Zhang, Zhang, Juling, Guowu Yang +5 · 1 citation
    Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Network Packet Processing and Optimization #Software Testing and Debugging Techniques