English | Japanese | CSPSAT (until FY2011) |
CSPSAT2 (until FY2014) |
Cloud (until FY2015) |
CSPASP (since FY2015) |
ニュース | プロジェクト概要 | 講演会 &研究会 |
研究成果物 (論文・ソフトウェア等) |
プロジェクト概要
高性能な推論を必要とする種々の分野において, SAT技術を活用したSAT型システムが成功を収めている. SAT技術を基盤とした制約プログラミングシステム (以下, SAT型CPシステム) は, 与えられた問題を命題論理式であるSAT問題に符号化 (翻訳) するコンパイラの一種であり, SAT型システム開発におけるキー技術となっている. 一方, 世界では, SAT技術の適用範囲をNPを超えた問題へ拡張する研究が始まりつつある.
そこで本課題では, このような “Beyond NP” の問題に対応可能な新しいSAT型CPシステムの実現を目的とし, 時相論理への対応・多目的最適化問題への対応・並列型ソルバー導入の研究開発を進めるとともに, 応用システムの研究開発を通じて研究開発した手法およびシステムを評価する.
具体的な研究テーマ(予定)
- 時相論理に対する拡張の研究開発
- 多目的最適化問題に対する拡張の研究開発
- 並列型ソルバーの研究開発
- 応用システムの研究開発
メンバー(順不同)
研究資金
- 科学研究費補助金 基盤研究(B)
- 研究課題名:SATを基盤とした新しい制約プログラミングシステムの研究開発
- 研究期間:2016年度 〜 2018年度
- 課題番号:16H02803