The 40th Annual Conference of the Japanese Society for Artificial Intelligence, 2026
Advanced Search

Session Details

Organized SessionOrganized session : OS-36

[2J5-OS-36a]OS-36

Tue. Jun 9, 2026 3:30 PM - 5:00 PM JST
Tue. Jun 9, 2026 6:30 AM - 8:00 AM UTC
Room J(Middle room 201B)
オーガナイザ：波多野 大督（株式会社デンソー），宋 剛秀（名古屋大学）
3:30 PM - 3:45 PM JST(6:30 AM - 6:45 AM UTC)

[2J5-OS-36a-01](Aim of the session)

3:45 PM - 4:00 PM JST(6:45 AM - 7:00 AM UTC)

[2J5-OS-36a-02](OS invited talk) SAT Encoding Design in the Winning Solution of ICFPC 2025

〇Yoichi Iwata1 (1. AtCoder Inc.)
4:00 PM - 4:15 PM JST(7:00 AM - 7:15 AM UTC)

[2J5-OS-36a-03]SAT-based CSP Solver: an Implementation and Evaluation

〇TAKEHIDE SOH1 (1. Nagoya University, Graduate School of Informatics)
4:15 PM - 4:30 PM JST(7:15 AM - 7:30 AM UTC)

[2J5-OS-36a-04]A Metaheuristic Solver with Robust Performance against Requirement Complexity through Minimal Domain Knowledge Injection and Flexible Formulation

〇TOMOMITSU MOTOHASHI1,2, Koutarou Tanahashi1, Shunji Umetani1, Hyakka Nakada1 (1. Recruit Co., Ltd., 2. SUSMED, Inc.)
4:30 PM - 4:45 PM JST(7:30 AM - 7:45 AM UTC)

[2J5-OS-36a-05]ASP-based Implementation of Adaptive Large Neighborhood Prioritized Search and its Application to the Nurse Scheduling Problem

〇Maki Miyashita1, Irumi Sugimori1, Hidetomo Nabeshima2, Takehide Soh1, Mutsunori Banbara1 (1. Nagoya University, 2. University of Yamanashi)
4:45 PM - 5:00 PM JST(7:45 AM - 8:00 AM UTC)

[2J5-OS-36a-06]A Synchronous Parallel ASP Solver with Reproducible Behavior

〇Kenichiro Katsura1, HIDETOMO NABESHIMA2 (1. Graduate School of Interdisciplinary Research, Engineering Program, Computer Science and Engineering Course, University of Yamanashi, 2. Department of Electrical and Electronic Information Engineering, Graduate Faculty of Interdisciplinary Research, University of Yamanashi)
Back to Category List