| Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2013: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
The major results of this study are as follows:
(1) Introduce a method of alternating different strategies into SAT solver in order to enhance its performance. (2) Devise two new SAT encodings Modulo Totalizer and Weighted Totalizer for cardinality constraints and give their space complexity. (3) Present methods for solving the following problems with MaxSAT; (i) inductive logic programming, (ii) coalition structure generation, and (iii) reconstructing AES key schedule images. (4) Introduce a mechanism to utilize unsat core in a MaxSAT solver QMaxSAT.
|
