Research on algorithms and data structures for solving theoretically hard problems in practical time
Grant-in-Aid for Scientific Research (A)
Medium-sized Section 60:Information science, computer engineering, and related fields
Japan Advanced Institute of Science and Technology
上原 隆平
From 01 Apr. 2018, To 31 Mar. 2023, Granted
アルゴリズム;遷移問題;BDD;データ構造;グラフアルゴリズム;列挙アルゴリズム