Aolong Zha

An incremental SAT-based approach for solving the real-time taxi-sharing service problem

I. Noda, Qiong Chang, Aolong Zha, 2022, Discrete Applied Mathematics.

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation

Makoto Yokoo, Yuko Sakurai, Miyuki Koshimura, 2017, PRIMA.

N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

M. Koshimura, H. Fujita, Aolong Zha, 2019, Constraints.

Efficient stereo matching on embedded GPUs with zero-means cross correlation

T. Maruyama, Xin Liu, Masaki Onishi, 2021, J. Syst. Archit..