充足可能性保存変換に基づいた命題論理証明システムの提案

スポンサーリンク

概要

• 論文の詳細を見る

• 充足可能性保存変換に基づいた命題論理証明システムを提案し、その証明システムで鳩の巣原理とk-クリークトートロジーが多項式サイズの証明を持つことを示す。またその証明システムを使った証明アルゴリズムも提案しベンチマークの結果を示す。

• 一般社団法人情報処理学会の論文
• 2002-01-24

著者

• 永田 拓也

  明治大学大学院理工学研究科

関連論文

• 充足可能性保存変換に基づいた命題論理証明システムの提案

スポンサーリンク