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