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
-
Combinatorial Optimization
-
GPGPU
-
Boolean Satisfiability
-
Operations Research
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 (Part: Corresponding author )
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]
-
分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム
査 澳龍, 越村 三幸, 櫻井 祐子, 横尾 真 (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