| 作成者 |
|
|
|
|
|
|
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 号 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| JaLC DOI |
|
| 関連DOI |
|
|
|
|
|
| 関連URI |
|
|
|
|
|
| 関連情報 |
|
|
|
|
|
| 概要 |
We present a method to enumerate minimal models using MiniMG. MiniMG is a Minimal model generator that has incorporated the useful techniques used in Minisat and MGTP. There are two kinds of MiniMG. O...ne is a model constraint type, and the other is a groundedness test type. We have implemented a prototype system for each type. They achieve a significant improvement of execution time. However, the number of failed branches in solving SAT instances has increased compared with Minisat. In the future, we will introduce some techniques, e.g., restart strategy, Literals Blocks Distance(LBD) and decision variables heuristic, aiming at a further improvement of the performance.続きを見る
|
Mendeley出力
