Haoze Wu

According to our database, Haoze Wu authored at least 2 papers between 2017 and 2026.

Collaborative distances:

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

2026

Satisfiability modulo theories for verifying MILP certificates.

Kenan Wood, Runtian Zhou, Haoze Wu, Hammurabi Mendes, Jonad Pulaj

J. Symb. Comput., 2026

2017

ParConnect reproducibility report.

Lei Yang, Yilong Li, Zhenxin Fu, Zhuohan Li, Wenbin Hou, Haoze Wu, Xiaolin Wang, Yun Liang

Parallel Comput., 2017