Efficient method to generate minimal models by introducing splitting lemmas

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

研究成果: ジャーナルへの寄稿学術誌査読

抄録

An efficient method for minimal model generation is presented. The extended MGTP, called MM-MGTP, was implemented using the method so that every model it generates is guaranteed to be minimal. The method employs splitting assumption which is equivalent to Bry's complement splitting rule as a basic mechanism. Moreover, we introduce a new concept called splitting lemma which can avoid performing unnecessary tests on minimal models and prune branches leading to non-minimal models. Experimental results with MM-MGTP show remarkable speedup compared to Bry's MM-SATCHMO.

本文言語英語
ページ(範囲)145-150
ページ数6
ジャーナルResearch Reports on Information Science and Electrical Engineering of Kyushu University
4
2
出版ステータス出版済み - 9月 1 1999

!!!All Science Journal Classification (ASJC) codes

  • コンピュータ サイエンス(全般)
  • 電子工学および電気工学

引用スタイル