Zhonghan Wang

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