Budget Amount *help |
¥17,680,000 (Direct Cost: ¥13,600,000、Indirect Cost: ¥4,080,000)
Fiscal Year 2012: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2011: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2010: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2009: ¥6,370,000 (Direct Cost: ¥4,900,000、Indirect Cost: ¥1,470,000)
|
Research Abstract |
We conducted the research on technologies solving large-scale Constraint Satisfaction/Optimization Problems by combining SAT technologies and model generation technologies, and published 9 refereed papers and made 36 presentations. In addition, world’s leading softwares QMaxSAT and SCMiniSat were developed. QMaxSAT won at the 2010, 2011, and 2012 Max-SAT evaluations in an industrial category and SCMiniSat increased the lower bound of Ramsey number R(4,8) from 56 to 58.
|