Zhonghan Wang

According to our database, Zhonghan Wang authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic.

Zhonghan Wang

CoRR, 2024

clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory.

Zhonghan Wang

CoRR, 2024

Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Ultra-Wideband Imaging via Frequency Diverse Array with Low Sampling Rate.

Zhonghan Wang, Yaoliang Song, Yitong Li

Remote. Sens., 2022

3D joints estimation of human body using part segmentation.

Tianxu Xu, Dong An, Yuetong Jia, Jiaqing Chen, Hongkun Zhong, Yishen Ji, Yushi Wang, Zhonghan Wang, Qiang Wang, Zhongqi Pan, Yang Yue

Inf. Sci., 2022

2020

Polarization Beam Splitter Based on Si3N4/SiO2 Horizontal Slot Waveguides for On-Chip High-Power Applications.

Yuxi Fang, Changjing Bao, Zhonghan Wang, Yange Liu, Lin Zhang, Hao Huang, Yongxiong Ren, Zhongqi Pan, Yang Yue

Sensors, 2020

3D Joints Estimation of the Human Body in Single-Frame Point Cloud.

Tianxu Xu, Dong An, Zhonghan Wang, Sicheng Jiang, Chengnuo Meng, Yiwen Zhang, Qiang Wang, Zhongqi Pan, Yang Yue

IEEE Access, 2020

2018

A Short-Range Range-Angle Dependent Beampattern Synthesis by Frequency Diverse Array.

Zhonghan Wang, Yaoliang Song, Tong Mu, Zeeshan Ahmad

IEEE Access, 2018