Constructing Craig Interpolation Formulas. - Guoxiang Huang (COCOON, 1995)

Subgoal Strategies for Solving Board Puzzles. - Guoxiang Huang; Dale Myers (J. Autom. Reason., 1998)

Edge caching strategy design and reward contract optimization for uAV-enabled mobile edge networks. - Weidang Lu; Bin Yin; Guoxiang Huang; Bo Li 034 (EURASIP J. Wirel. Commun. Netw., 2020)