講演・口頭発表等

2018年3月16日

MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

人工知能基本問題研究会
  • 越村 三幸
  • ,
  • 廖 暁鵑
  • ,
  • 野本 一貴
  • ,
  • 上田 俊
  • ,
  • 櫻井 祐子
  • ,
  • 横尾 真

記述言語
日本語
会議種別

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/40021503424
CiNii Resolver ID
http://ci.nii.ac.jp/nrid/9000018759229