Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) Okamoto Kazuya and Koide Yukikazu and Koshimura Miyuki and Noda Itsuki,MaxSAT Application for Vertical Transport Machine's Scheduling,Transactions of the Japanese Society for Artificial Intelligence,1346-0714,The Japanese Society for Artificial Intelligence,2024-03-01,39,2,B-N64_1,https://cir.nii.ac.jp/crid/1390299318868317184,https://doi.org/10.1527/tjsai.39-2_b-n64