人工知能学会全国大会論文集
第30回全国大会(2016)
セッションID: 1D4-OS-02a-4
会議情報

SATソルバーを用いた部分グラフ探索のための制約モデル
*川原 征大宋 剛秀番原 睦則田村 直之
著者情報
会議録・要旨集 フリー

詳細
記事の1ページ目
著者関連情報
© 2016 一般社団法人 人工知能学会
前の記事 次の記事
feedback
Top