

Education
-
2015-2018
Kyushu University Faculty of Information Science and Electrical Engineering
Degree
-
Ph.D. 2018
Academic & Professional Experience
-
2025.10-Now
Wakayama University Faculty of Systems Engineering Department of Systems Engineering Assistant Professor
-
2021.04-2024.01
The University of Tokyo Research Center for Advanced Science and Technology Project Assistant Professor
-
2018.11-2021.03
National Institute of Advanced Industrial Science and Technology Artificial Intelligence Research Center Special Researcher
Association Memberships
-
2021.04-Now
Association for Computing Machinery
-
2017.04-Now
Institute of Electrical and Electronics Engineers
Research Areas
-
Informatics / Computational science
-
Informatics / Mathematical informatics
Research Interests
-
Boolean Satisfiability Problem
-
Combinatorial Optimization
-
Route Planning
-
GPGPU
-
Coalition Generation Problem
Published Papers
-
An Optimized GPU Implementation for GIST Descriptor
Xiang Li, Qiong Chang, Aolong Zha, Shijie Chang, Yun Li, Jun Miyazaki
ACM Transactions on Architecture and Code Optimization ( Association for Computing Machinery (ACM) ) 2024.08
-
TinyStereo: A Tiny Coarse-to-Fine Framework for Vision-Based Depth Estimation on Embedded GPUs
Qiong Chang, Xin Xu, Aolong Zha, Meng Joo Er, Yongqing Sun, Yun Li
IEEE Transactions on Systems, Man, and Cybernetics: Systems ( Institute of Electrical and Electronics Engineers (IEEE) ) 1 - 13 2024 [Refereed]
-
Aolong Zha, Qiong Chang, Naoto Imura, Katsuhiro Nishinari (Part: Lead author )
Proceedings of the 23rd International Conference on Computational Science - ICCS 2023 454 - 468 2023 [Refereed]
-
An incremental SAT-based approach for solving the real-time taxi-sharing service problem
Aolong Zha, Qiong Chang, Itsuki Noda (Part: Lead author )
Discrete Applied Mathematics ( Elsevier BV ) 335 131 - 145 2022.08 [Refereed]
-
Efficient stereo matching on embedded GPUs with zero-means cross correlation
Qiong Chang, Aolong Zha, Weimin Wang, Xin Liu, Masaki Onishi, Lei Lei, Meng Joo Er, Tsutomu Maruyama (Part: Corresponding author )
Journal of Systems Architecture ( Elsevier BV ) 123 102366 - 102366 2022.02 [Refereed]
-
Hybrid modeling and predictive control of large-scale crowd movement in road network
Rongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ( ACM ) 2021.05 [Refereed]
-
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda (Part: Lead author )
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) 285 - 292 2020.11 [Refereed]
-
Z2-ZNCC: ZigZag Scanning based Zero-means Normalized Cross Correlation for Fast and Accurate Stereo Matching on Embedded GPU
Qiong Chang, Aolong Zha, Weimin Wang, Xin Liu, Masaki Onishi, Tsutomu Maruyama
2020 IEEE 38th International Conference on Computer Design (ICCD) ( IEEE ) 2020.10 [Refereed]
-
A GPU accelerator for domain transformation-based stereo matching
Qiong Chang, Aolong Zha, Onishi Masaki, Tsutomu Maruyama
ACM International Conference Proceeding Series ( ACM ) 370 - 376 2019.12 [Refereed]
-
Coalition Structure Generation for Partition Function Games Utilizing Partition Decision Trees
Aolong Zha
IEICE TRANSACTIONS on Information and Systems 2019.04
-
分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム
査 澳龍, 越村 三幸, 櫻井 祐子, 横尾 真 (Part: Lead author )
電子情報通信学会論文誌 D J102-D ( 4 ) 313 - 323 2019.04 [Refereed]
-
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.
Aolong Zha, Miyuki Koshimura, Hiroshi Fujita (Part: Lead author )
Constraints An Int. J. ( Springer Science and Business Media LLC ) 24 ( 2 ) 133 - 161 2019 [Refereed]
-
Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo (Part: Lead author )
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ( Springer International Publishing ) 10621 LNAI 143 - 159 2017 [Refereed]
-
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.
Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita (Part: Lead author )
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI ( IEEE ) 2017-November 868 - 875 2017 [Refereed]
-
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.
Aolong Zha, Miyuki Koshimura, Hiroshi Fujita (Part: Lead author )
Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017 ( IEEE ) 9 - 12 2017 [Refereed]
Misc
-
Zha Aolong, Chang Qiong, Noda Itsuki
人工知能基本問題研究会 ( 人工知能学会 ) 109 44 - 49 2019.03
-
越村 三幸, 査 澳龍, 野本 一貴, 櫻井 祐子, 横尾 真
第79回全国大会講演論文集 2017 ( 1 ) 39 - 40 2017.03
-
A SAT Encoding of Pseudo-Boolean Constraints based on Mixed Radix
上村 直輝, 藤田 博, 越村 三幸, 査 澳龍
人工知能基本問題研究会 ( 人工知能学会 ) 103 12 - 17 2017.03
-
分割関数ゲームを対象とした提携構造形成問題のMaxSAT符号化
越村 三幸, 査 澳龍, 野本 一貴, 櫻井 祐子, 横尾 真
人工知能学会全国大会論文集 ( 一般社団法人 人工知能学会 ) 2017 ( 0 ) 1M31 - 1M31 2017
-
Introducing Pure Literal Elimination into CDCL Algorithm (特集 「離散問題とデータ科学の接点」および一般)
Zha Aolong, Koshimura Miyuki, Fujita Hiroshi
人工知能基本問題研究会 ( 人工知能学会 ) 99 23 - 27 2016.01
-
Parallel Portfolio SATzilla2012 (特集 「命題論理の充足可能性問題SATと応用技術」および一般)
Zha Aolong, Hasegawa Ryuzo
人工知能基本問題研究会 ( 人工知能学会 ) 97 54 - 58 2015.03
Works
-
https://maxsat-evaluations.github.io/2019/mse19-solver-src/complete/QMaxSAT2018.zip
Aolong Zha, Miyuki Koshimura
2019Software -
https://github.com/ReprodSuplem/RTSS_SUMO
Aolong Zha, Itsuki Noda
2018Software -
https://github.com/satcompetition/2018/blob/master/solvers/gluHack.zip
Aolong Zha
2018Software
Awards & Honors
-
The Second Place Award on Random Track
Winner: Aolong Zha
2018.07 International SAT Competition 2018
-
The Second Place Award on Main Track of Weighted Partial MaxSAT
Winner: Naoki Uemura, Aolong Zha, Miyuki Koshimura
2017.07 International MaxSAT Evaluation 2017
Conference Activities & Talks
-
Real-time taxi-sharing service application based on Boolean satisfiability techniques
Aolong Zha, Itsuki Noda
6th International Conference on Computational Social Science 2020