特集「最近のSAT技術の発展」にあたって(<特集>最近のSAT技術の発展)

• 井上 克巳

  国立情報学研究所

• 田村 直之

  神戸大学

書誌事項

タイトル別名

• Editors' Introduction of "Recent Advances in SAT Techniques"(<Special Issue>Recent Advances in SAT Techniques)

収録刊行物

• 人工知能

  人工知能 25 (1), 56-56, 2010-01-01

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

詳細情報

• CRID: 1390004222627155840
• NII論文ID: 110007504952
• NII書誌ID: AN10067140
• DOI: 10.11517/jjsai.25.1_56
• ISSN: 24358614
• ISSN: 21882266
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles