CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem. - Aolong Zha; Rongxuan Gao; Qiong Chang; Miyuki Koshimura; Itsuki Noda (ICTAI, 2020)

Hybrid modeling and predictive control of large-scale crowd movement in road network. - Rongxuan Gao; Aolong Zha; Shusuke Shigenaka; Masaki Onishi (HSCC, 2021)