オーガナイズドセッション

[2I4-OS-9a] AIと制約プログラミング

2023年6月7日(水) 13:30 〜 15:10 I会場 (中会議室 B2)

オーガナイザ：花田研太、波多野大督、宋剛秀

+全てマイスケジュールに登録

13:30 〜 14:10

[2I4-OS-9a-01] (OS招待講演) 分散船舶衝突回避アルゴリズム

〇平山勝敏¹ (1. 神戸大学)

14:10 〜 14:30

[2I4-OS-9a-02] 決定グラフ上での最適なk-集合選択問題を高速に解くアルゴリズム

〇伝住周平¹、西野正彬¹、安田宜仁¹ (1. 日本電信電話(株) NTTコミュニケーション科学基礎研究所)

14:30 〜 14:50

[2I4-OS-9a-03] 最大独立集合問題のSAT技術を用いた解法に関する研究

〇大森嶺¹、宋剛秀¹、田村直之¹ (1. 神戸大学)

14:50 〜 15:10

[2I4-OS-9a-04] 単項二階論理式で与えられた論理関数を表す決定グラフの構築

〇大場翔¹、川原純¹、湊真一¹ (1. 京都大学)

オーガナイズドセッション

[2I5-OS-9b] AIと制約プログラミング

2023年6月7日(水) 15:30 〜 17:10 I会場 (中会議室 B2)

オーガナイザ：花田研太、波多野大督、宋剛秀

+全てマイスケジュールに登録

15:30 〜 15:50

[2I5-OS-9b-01] 解集合プログラミングを用いた支配集合遷移問題の解法に関する一考察

〇加藤聖人¹、宋剛秀²、田村直之³、番原睦則¹ (1. 名古屋大学大学院情報学研究科、2. 神戸大学 DX・情報統括本部、3. 神戸大学)

15:50 〜 16:10

[2I5-OS-9b-02] 解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察

〇高田和紀¹、山田悠也²、番原睦則² (1. 名古屋大学情報学部、2. 名古屋大学大学院情報学研究科)

16:10 〜 16:30

[2I5-OS-9b-03] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法

〇中村健吾^1,2、西野正彬¹、安田宜仁¹、湊真一² (1. NTT、2. 京都大学)

16:30 〜 16:50

[2I5-OS-9b-04] ZDDによる災害時の効率的かつ網羅的な広報車巡回路の列挙

〇原田そら¹、石畠正和² (1. 木更津工業高等専門学校、2. NTT コミュニケーション科学基礎研究所)

16:50 〜 17:10

[2I5-OS-9b-05] ハイブリッドシステムのモデリングにおける制約表現とオートマトン表現

秦国大¹、〇上田和紀¹ (1. 早稲田大学)

セッション一覧

オーガナイズドセッション » OS-9 AIと制約プログラミング