単調な CNF 式からの二分決定図構築のための逆探索

人工知能学会研究会資料人工知能基本問題研究会

Online ISSN : 2436-4584

137回 (2026/9)

DOI https://doi.org/10.11517/jsaifpai.137.0_66

会議情報

主催: 人工知能学会

会議名: 第137回人工知能基本問題研究会

回次: 137

開催地: 高山市民文化会館4F 4-9会議室

開催日: 2026/09/17 - 2026/09/18

単調な CNF 式からの二分決定図構築のための逆探索

伝住周平, 堀山貴史, 栗田和宏, 湊真一

著者情報

会議録・要旨集認証あり

p. 66-71

詳細

記事の1ページ目

著者関連情報

© 2026 人工知能学会

お気に入り & アラート

関連記事

閲覧履歴

発行機関からのお知らせ

PDF閲覧時に認証を求められる記事がございます（発行後1年間）が，研究会登録メンバーは無料で閲覧可能です．認証のための購読者番号やパスワードは会員マイページにログインし「お知らせ」にてご確認下さい．メンバー以外の方は，storesにて購入いただけます．

関連ジャーナル

人工知能学会論文誌

人工知能学会全国大会論文集

SLUD研究会資料

KBS研究会資料

ALST研究会資料

第二種研究会資料

Top