The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem. - Guoxia Nie; Daoyun Xu; Xiaofeng Wang; Xi Wang (Symmetry, 2021)

Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula. - Guoxia Nie; Daoyun Xu; Xi Wang; Zaijun Zhang (Frontiers Comput. Sci., 2024)

DiagX-DT: diagnostic exclusion reasoning with dialectical thinking for traditional Chinese medicine in large language models. - Guoxia Nie; Yulin Zhou; Daoyun Xu; Yongbin Qin (J. King Saud Univ. Comput. Inf. Sci., 2025)