<紀要論文>
二分決定グラフによるモデル生成木の刈込み

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
関連情報
概要 Binary Decision Diagram(BDD) is a data structure that expresses Boolean expressions on computers. We can effectively manipulate Boolean expressions and determine their satisfiability with BDDs. We can... enhance the proving power of MGTP (Model Generation Theorem Prover) by pruning proof tree of MGTP using BDDs. In this paper, we propose a method which postpones updating BDD in order to suppress memory consumption and compare its performance with standard MGTP and a previous version of MGTP with BDDs.続きを見る

本文ファイル

p049 pdf 518 KB 84  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
主題
登録日 2015.05.29
更新日 2020.11.02

この資料を見た人はこんな資料も見ています