メトリック
1 レコードビュー
- タイトル
- 最小数独サイズの形式検証に向けた取り組み
- 作成者 – 役職なし
- Takahisa TODA
- 会議
- 第135回人工知能基本問題研究会
- ID
- 991002644815007421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation
会議発表プレゼンテーション
最小数独サイズの形式検証に向けた取り組み
第135回人工知能基本問題研究会
14/01/2026