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

[4F1-OS-8a] AIと制約プログラミング(1/2)

2022年6月17日(金) 10:00 〜 11:40 F会場 (Room F)

オーガナイザ：宋剛秀（神戸大学）、沖本天太（神戸大学）［遠隔］

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

10:00 〜 10:40

[4F1-OS-8a-01] (OS招待講演) 組合せ遷移への招待

〇伊藤健洋¹ (1. 東北大学)

10:40 〜 11:00

[4F1-OS-8a-02] 最短路遷移問題のZDDを用いた解法と評価

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

11:00 〜 11:20

[4F1-OS-8a-03] 解集合プログラミングを用いた独立集合遷移問題の解法に関する考察

〇山田悠也¹、加藤聖人²、小菅脩司²、竹内頼人¹、番原睦則¹ (1. 名古屋大学大学院情報学研究科、2. 名古屋大学情報学部)

11:20 〜 11:40

[4F1-OS-8a-04] R-MaxSAT : 敵対者が存在する MaxSAT

山下魁人¹、〇菅原知也¹、越村三幸¹、横尾真¹ (1. 九州大学)

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

[4F3-OS-8b] AIと制約プログラミング(2/2)

2022年6月17日(金) 14:00 〜 15:40 F会場 (Room F)

オーガナイザ：宋剛秀（神戸大学）、沖本天太（神戸大学）［遠隔］

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

14:00 〜 14:20

[4F3-OS-8b-01] SATソルバを利用した分散アルゴリズムの検証・テスト

〇土屋達弘¹ (1. 大阪大学)

14:20 〜 14:40

[4F3-OS-8b-02] 決定的並列SATソルバー構築のための汎用フレームワークの検討

〇吹上翼¹、帯津勇斗¹、鍋島英知²、盧暁南² (1. 山梨大学工学部コンピュータ理工学科、2. 山梨大学大学院総合研究部)

14:40 〜 15:00

[4F3-OS-8b-03] GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー

〇渡邉晃司^1,2、佐藤泰介²、小島諒介³、小高充弘^1,2、井上克巳^1,2 (1. 総合研究大学院大学、2. 国立情報学研究所、3. 京都大学大学院医学研究科)

15:00 〜 15:20

[4F3-OS-8b-04] 階層的制約論理プログラミングのための制約階層解消法

〇細部博史¹、佐藤健² (1. 法政大学、2. 国立情報学研究所)

15:20 〜 15:40

[4F3-OS-8b-05] ハイブリッドシステムの制約モデルからオートマトンモデルへの記号実行による変換に関する考察

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

セッション一覧

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