89-39 命題論理式の充足可能性判定アルゴリズム

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1989-12-15

著者

• 赤嶺 暁子

  株式会社東芝 システム・ソフトウェア技術研究所

• 赤嶺 暁子

  東芝 システム・ソフトウェア技術研究所

関連論文

• 通信制御ソフトウェアの時相論理による検証 : CCITT勧告X.25の検証
• 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
• 89-39 命題論理式の充足可能性判定アルゴリズム

スポンサーリンク