Author of the publication

Experimental analyses on phase transitions in compiling satisfiability problems.

, , and . Sci. China Inf. Sci., 58 (3): 1-11 (2015)

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

Robust output feedback consensus for multiple heterogeneous negative-imaginary systems., , and . CDC, page 2371-2376. IEEE, (2015)A Linearity Improved 10-bit 120-MS/s 1.5 mW SAR ADC with High-Speed and Low-Noise Dynamic Comparator Technique., , , , , , , , and . Journal of Circuits, Systems, and Computers, 29 (6): 2050084:1-2050084:19 (2020)A robust three-dimensional cooperative guidance law against maneuvering target., , , and . J. Frankl. Inst., 357 (10): 5735-5752 (2020)Robust formation control for unmanned helicopters with collision avoidance., , , and . J. Frankl. Inst., 357 (17): 11997-12018 (2020)Autonomous landing solution of low-cost quadrotor on a moving platform., , , , , and . Robotics Auton. Syst., (2019)MRMLREC: A Two-Stage Approach for Addressing Data Sparsity in MOOC Video Recommendation (Student Abstract)., , , , and . AAAI, page 23709-23711. AAAI Press, (2024)Simulation of Primary Afferent Synapses in Unmyelinated Nerve Fiber., , , and . BMEI (1), page 723-727. IEEE Computer Society, (2008)S-SIM: A Simulator for Systolic Array-based DNN Accelerators with Tile Access Awareness., , , , , and . ISCAS, page 2720-2724. IEEE, (2022)Human tracking and identification through a millimeter wave radar., , , , , , and . Ad Hoc Networks, (2021)An effective method for accurate prediction of the first hyperpolarizability of alkalides., , , , , , and . J. Comput. Chem., 33 (2): 231-236 (2012)