Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency. - Jinsong Guo; Hongbo Li 005; Zhanshan Li; Yonggang Zhang 002; Xianghua Jia (Int. J. Artif. Intell. Tools, 2014)

Eclipse Prediction Algorithms for Low-Earth-Orbiting Satellites. - Xianghua Jia; Ming Xu 003; Xiao Pan; Xintao Mao (IEEE Trans. Aerosp. Electron. Syst., 2017)