Author of the publication

A Folding Strategy for SAT solvers based on Shannon's expansion theorem.

, , , and . SoCC, page 177-181. IEEE, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An optimized mapping algorithm based on Simulated Annealing for regular NoC architecture., , , , , and . ASICON, page 389-392. IEEE, (2011)An Automatic Task Partition Method for Multi-core System., , , , , and . ISCAS, page 1-5. IEEE, (2018)A 32-Pixel IDCT-Adapted HEVC Intra Prediction VLSI Architecture., , , and . ISCAS, page 1-5. IEEE, (2019)High-Density 3-D Stackable Crossbar 2D2R nvTCAM With Low-Power Intelligent Search for Fast Packet Forwarding in 5G Applications., , , , , , , , and . IEEE J. Solid State Circuits, 56 (3): 988-1000 (2021)An Energy Efficient Computing-in-Memory Accelerator With 1T2R Cell and Fully Analog Processing for Edge AI Applications., , , , , , , , , and 3 other author(s). IEEE Trans. Circuits Syst. II Express Briefs, 68 (8): 2932-2936 (2021)Time-Division-Multiplexer based routing algorithm for NoC system., , , and . ISCAS, page 1652-1655. IEEE, (2013)A 16-Core Processor With Shared-Memory and Message-Passing Communications., , , , , , , , , and 5 other author(s). IEEE Trans. Circuits Syst. I Regul. Pap., 61-I (4): 1081-1094 (2014)Knowledge Distillation for U-Net Based Image Denoising., , , , and . ASICON, page 1-4. IEEE, (2021)A Hardware Friendly Haze Removal Method and Its Implementation., , , , , and . ICCE, page 1-5. IEEE, (2020)Solving SAT problem by heuristic polarity decision-making algorithm., , , , and . Sci. China Ser. F Inf. Sci., 50 (6): 915-925 (2007)