メトリック
1 レコードビュー
- タイトル
- 単位伝播で決定可能な補問題の拡張CNF表現に関する検討
- 作成者 – 役職なし
- Takahisa TODA
- 出版物に関する詳細
- 信学技報, Vol.124(424), ページ1-8
- ID
- 991002644843307421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- ジャーナル論文
- リソースのサブタイプ
- rm_misc: Summary National Conference
ジャーナル論文 - rm_misc: Summary National Conference
単位伝播で決定可能な補問題の拡張CNF表現に関する検討
信学技報, Vol.124(424), ページ1-8
02/2025