共同研究・競争的資金等の研究課題

2013年4月 - 2016年3月

基数制約を用いたSATソルバーの拡張とその応用に関する研究

科学研究費補助金基盤研究（C）