作成者 |
|
|
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
号 |
|
開始ページ |
|
終了ページ |
|
出版タイプ |
|
アクセス権 |
|
JaLC DOI |
|
関連DOI |
|
関連URI |
|
関連情報 |
|
概要 |
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 met...hod 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.続きを見る
|