研究課題
若手研究(B)
制約充足問題 (CSP) は，与えられた制約を満たす解を探索する問題である．CSP には産学問わず様々な応用があり，人工知能分野などにおける重要な研究課題となっている．本研究では, SATソルバーを用いた高性能な CSP を解くシステム (SAT型CPシステム) を実現するために，ハイブリッド符号化を用いた方法を研究開発した．結果として，国際競技会における優勝や, 従来システムでは解けない問題を解くことに成功した．
制約プログラミング
本研究成果の意義は，SAT符号化の新しい方向性を開拓した点，既存のCPシステムでは求解困難な問題に対して，より高性能な推論基盤の候補を提供した点である．また重要な応用の1つとして，システム生物学やグラフ上の問題にも適用可能な多目的最適化問題への応用を示したことも挙げられる．CPシステムは様々な分野に応用される実用性が高いシステムであり，研究成果の産業分野への応用も期待できると考えられる．
