発表募集：JSAI 2026 OS-36 制約プログラミングの理論と実践: 充足・列挙・計数・最適化

[Takehide Soh]

みなさま，

名古屋大学の宋です．

JSAI2026のオーガナイズドセッション OS-36
「制約プログラミングの理論と実践: 充足・列挙・計数・最適化」
のご案内です．〆切が来週1月28日(水)14時と迫りました!

2026年は特別企画として，ICFP Programming Contest 2025 における
優勝チーム Unagi のメンバーであり, いわゆる「蟻本」の著者のお一人でも
ある ** 岩田 陽一 様（AtCoder 株式会社）** に ICFPC 2025 の
SAT-Encoding 等について招待講演を頂きます．

2ページ原稿も積極的に募集しますので，ぜひご投稿ご参加を検討いただけま
すと幸いです．

どうぞよろしくお願いいたします．

======================================================================
【論文募集】JSAI2026 オーガナイズドセッション
 OS-36「制約プログラミングの理論と実践: 充足・列挙・計数・最適化」
======================================================================

2026年度 人工知能学会全国大会（第40回）において, 下記のオーガナイズド
セッションを企画しております. 皆様のご投稿をお待ちしております.

+ セッション概要
----------------------------------------------------------------------
制約充足問題および制約最適化問題(CSP)は, 人工知能における多くの
組合せ問題を定式化できる枠組みとして, 1980年代から継続的に研究
されています. 本セッションでは, ソルバーやアルゴリズム, 言語,
モデル, システムなど, 制約プログラミングに関する理論と実践を
幅広く募集し, 国内研究者の交流と活性化を目指します.

+ 招待講演
----------------------------------------------------------------------
講演者: 岩田 陽一（AtCoder 株式会社）

+ 対象トピック（以下を含むがこれに限定しない）
----------------------------------------------------------------------
- ソルバー開発（CSP, SAT, MaxSAT, PB, SMT, ASP）
- 推論・探索アルゴリズム（充足, 列挙, 計数, 最適化）
- 知識コンパイル（Decision Diagram: BDD/ZDD/MDD）
- マルチエージェント問題
- スケジューリング, プランニング, モデル検査への応用
- その他, 制約プログラミングに関連する研究

+ 重要日程
----------------------------------------------------------------------
発表申込・アブストラクト登録締切: 2026年1月28日（水）14:00 JST
原稿提出締切:                     2026年2月18日（水）14:00 JST
大会開催日:                       2026年6月8日（月）- 12日（金）

+ 大会情報
----------------------------------------------------------------------
会場: Gメッセ群馬（群馬県高崎市）
形式: ハイブリッド開催（現地 + オンライン）
詳細: https://www.ai-gakkai.or.jp/jsai2026/cfp/

+ 投稿方法
----------------------------------------------------------------------
参加登録サイト https://jsai.confit.atlas.jp/login より, 発表申込時に

「オーガナイズドセッション」
「OS-36: 制約プログラミングの理論と実践」

をご選択ください. 〆切は来週1月28日(水)14時になります．

+ オーガナイザ
----------------------------------------------------------------------
波多野 大督（株式会社デンソー）
宋 剛秀（名古屋大学）

--
宋 剛秀 <s...@i.nagoya-u.ac.jp>
名古屋大学 情報学研究科 情報システム学専攻
〒464-8603 名古屋市千種区不老町
https://tsoh.org/jp/