論文

2020年3月8日

CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

人工知能基本問題研究会
  • 宋 剛秀
  • ,
  • 鍋島 英知
  • ,
  • 番原 睦則
  • ,
  • 田村 直之
  • ,
  • 井上 克巳

112
開始ページ
6
終了ページ
11
記述言語
日本語
掲載種別
出版者・発行元
人工知能学会

リンク情報
CiNii Articles
http://ci.nii.ac.jp/naid/40022179338
CiNii Books
http://ci.nii.ac.jp/ncid/AA11977943
URL
http://id.ndl.go.jp/bib/030296527
ID情報
  • CiNii Articles ID : 40022179338
  • CiNii Books ID : AA11977943

エクスポート
BibTeX RIS