Kazuya Okamoto, Yukikazu Koide, Miyuki Koshimura, Itsuki Noda. MaxSAT Application for Vertical Transport Machine's Scheduling. Transactions of the Japanese Society for Artificial Intelligence. 2024. 39. 2. B-N64_1
TAKAMI Shunki, ONISHI Masaki, NODA Itsuki. Waffle: A Flexible Framework for Large-scale Social Simulation Experiment. コンピュータ ソフトウェア. 2023. 40. 3. 3_29-3_49
Aolong Zha, Qiong Chang, Itsuki Noda. An incremental SAT-based approach for solving the real-time taxi-sharing service problem. Discrete Applied Mathematics. 2022