メトリック
2 レコードビュー
- タイトル
- 単位伝播で決定可能な補問題の拡張CNF表現に関する検討
- 作成者 – 役職なし
- Takahisa TODA
- 会議
- コンピュテーション研究会
- ID
- 991002578957207421
- 組織
- The University of Electro-Communications
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation
会議発表プレゼンテーション
単位伝播で決定可能な補問題の拡張CNF表現に関する検討
コンピュテーション研究会
07/03/2025