Zhonghan Wang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Articulated Body

Kinematic Constraints

Top Venues

Publications

Zhonghan Wang
DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic. CoRR (2024)
Zhonghan Wang
clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory. CoRR (2024)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) (2024)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. CoRR (2023)
Zhonghan Wang, Yaoliang Song, Yitong Li
Ultra-Wideband Imaging via Frequency Diverse Array with Low Sampling Rate. Remote. Sens. 14 (5) (2022)
Tianxu Xu, Dong An, Yuetong Jia, Jiaqing Chen, Hongkun Zhong, Yishen Ji, Yushi Wang, Zhonghan Wang, Qiang Wang, Zhongqi Pan, Yang Yue
3D joints estimation of human body using part segmentation. Inf. Sci. 603 (2022)
Tianxu Xu, Dong An, Zhonghan Wang, Sicheng Jiang, Chengnuo Meng, Yiwen Zhang, Qiang Wang, Zhongqi Pan, Yang Yue
3D Joints Estimation of the Human Body in Single-Frame Point Cloud. IEEE Access 8 (2020)
Yuxi Fang, Changjing Bao, Zhonghan Wang, Yange Liu, Lin Zhang, Hao Huang, Yongxiong Ren, Zhongqi Pan, Yang Yue
Polarization Beam Splitter Based on Si3N4/SiO2 Horizontal Slot Waveguides for On-Chip High-Power Applications. Sensors 20 (10) (2020)
Zhonghan Wang, Yaoliang Song, Tong Mu, Zeeshan Ahmad
A Short-Range Range-Angle Dependent Beampattern Synthesis by Frequency Diverse Array. IEEE Access 6 (2018)