Zaijun Zhang

According to our database, Zaijun Zhang authored at least 8 papers between 2021 and 2024.

Collaborative distances:

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

2024

Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula.

Guoxia Nie, Daoyun Xu, Xi Wang, Zaijun Zhang

Frontiers Comput. Sci., February, 2024

2023

Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs.

Yi Fan, Zaijun Zhang, Quan Yu, Yongxuan Lai, Kaile Su, Yiyuan Wang, Shiwei Pan, Longin Jan Latecki

Entropy, October, 2023

An Algorithm for Single View Occlusion Area Detection in Binocular Stereo Matching.

Ren Qian, Yong Zhao, Renyan Feng, Wenbang Yang, Zaijun Zhang

Int. J. Pattern Recognit. Artif. Intell., February, 2023

2022

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT.

Zaijun Zhang, Jincheng Zhou, Xiaoxia Wang, Heng Yang, Yi Fan

Entropy, December, 2022

Satisfiability threshold of the random regular (s, c, k)-SAT problem.

Xiaoling Mo, Daoyun Xu, Kai Yan, Zaijun Zhang

Frontiers Comput. Sci., 2022

Global-Supervised Contrastive Loss and View-Aware-Based Post-Processing for Vehicle Re-Identification.

Zhijun Hu, Yong Xu, Jie Wen, Xian Jing Cheng, Zaijun Zhang, Lilei Sun, Yaowei Wang

CoRR, 2022

2021

An algorithm for solving satisfiability problem based on the structural information of formulas.

Zaijun Zhang, Daoyun Xu, Jincheng Zhou

Frontiers Comput. Sci., 2021

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form.

Zaijun Zhang, Daoyun Xu, Jincheng Zhou

Entropy, 2021