SAT型制約ソルバーによるナンバーリンクの解法とその評価

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

Online ISSN : 2758-7347

第30回 (2016)

セッションID: 1D4-OS-02a-3

DOI https://doi.org/10.11517/pjsai.JSAI2016.0_1D4OS02a3

会議情報

主催: 一般社団法人人工知能学会

会議名: 2016年度人工知能学会全国大会（第30回）

回次: 30

開催地: 福岡県北九州市北九州国際会議場

開催日: 2016/06/06 - 2016/06/09

SAT型制約ソルバーによるナンバーリンクの解法とその評価

*迫龍哉, 川原征大, 宋剛秀, 番原睦則, 田村直之, 鍋島英知

著者情報

会議録・要旨集フリー

詳細

記事の1ページ目

著者関連情報

© 2016 一般社団法人人工知能学会

お気に入り & アラート

関連記事

閲覧履歴

関連ジャーナル

人工知能学会論文誌

SLUD研究会資料

KBS研究会資料

FPAI研究会資料

ALST研究会資料

第二種研究会資料

Top