| Creator |
|
|
|
|
|
|
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Issue |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| JaLC DOI |
|
| Related DOI |
|
|
|
|
|
| Related URI |
|
|
|
|
|
| Relation |
|
|
|
|
|
| Abstract |
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.show more
|
Export Mendeley
paper5