Problem Solving with SAT Oracles
-
- Koshimura Miyuki
- Principal Investigator
- 九州大学
-
- 藤田 博
- Co-Investigator
- 九州大学
About this project
- Japan Grant Number
- JP19H04175
- Funding Program
- Grants-in-Aid for Scientific Research
- Funding organization
- Japan Society for the Promotion of Science
- Project/Area Number
- 19H04175
- Research Category
- Grant-in-Aid for Scientific Research (B)
- Allocation Type
-
- Single-year Grants
- Review Section / Research Field
-
- Basic Section 61030:Intelligent informatics-related
- Research Institution
-
- Kyushu University
- Project Period (FY)
- 2019-04-01 〜 2023-03-31
- Project Status
- Completed
- Budget Amount*help
- 9,750,000 Yen (Direct Cost: 7,500,000 Yen Indirect Cost: 2,250,000 Yen)
Research Abstract
本研究ではSATオラクル解法の性能向上を目指し、オラクル間の連携や探索ヒューリスティックスなどの技術課題を洗い出し、その解決を図る。また、いくつかの応用問題を通して、その効果を実証する。このため、「SAT/MaxSAT/PBソルバーの開発」、「極小修正集合の列挙」、「MaxSAT/PBソルバーの応用開発」の研究を進める。最後の応用開発では、実時間スケジューリング、提携構造形成問題などに取り組む。
Keywords
Details 詳細情報について
-
- CRID
- 1040000782015015808
-
- Text Lang
- ja
-
- Data Source
-
- KAKEN