- 2020 - 2023 決定的並列充足可能性判定器に関する研究
- 2017 - 2020 証明短縮による高速充足可能性判定器の実現
- 2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
- 2014 - 2017 充足可能性判定器の高速化に関する研究
- 2012 - 2015 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現
- 2011 - 2013 高速結論発見器の実用化に関する研究
- 2008 - 2011 推論による仮説発見とシステム生物学への応用
- 2008 - 2011 制約最適化問題のSAT変換による解法とその並列分散処理に関する研究
- 2007 - 2009 SATプランニングとスケジューリングの高度化・高速化に関する研究
- 2005 - 2007 仮説発見システムの高度化と効率的実現に関する研究
- 2004 - 2005 補題の活用による高速SATプランニングシステムの構築
- 2002 - 2004 結論発見プログラムに基づく知識発見に関する研究
- 2002 - 2003 SATアプローチに基づく高速プランニングシステムの構築
- 2001 - 2003 先行投機的処理機能を持つマルチエージェントシステムの構築
- 2000 - 2001 SATソルバを用いた高速プランニングのための統合的システムに関する研究
全件表示