CEGAR と反例の共有を用いたSAT型CSPソルバーの並列化方法の考察

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

Online ISSN : 2436-4584

112回 (2020/3)

会議情報

主催: 人工知能学会

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

回次: 112

開催日: 2020/03/08 - 2020/03/09

CEGAR と反例の共有を用いたSAT型CSPソルバーの並列化方法の考察

著者情報

会議録・要旨集フリー

p. 02-

詳細

記事の1ページ目

著者関連情報

お気に入り & アラート

発行機関からのお知らせ

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