Takehide Soh

发表

Katsumi Inoue, Mutsunori Banbara, Naoyuki Tamura, 2013 .

Katsumi Inoue, Torsten Schaub, Mutsunori Banbara, 2013, Theory Pract. Log. Program..

Mutsunori Banbara, Naoyuki Tamura, Takehide Soh, 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).

Mutsunori Banbara, Naoyuki Tamura, Takehide Soh, 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima, 2006, ICAPS.

Katsumi Inoue, Mutsunori Banbara, Naoyuki Tamura, 2006, Discret. Appl. Math..

Katsumi Inoue, Takehide Soh, Katsumi Inoue, 2012, WCB@ICLP.

Katsutoshi Hirayama, Mutsunori Banbara, Naoyuki Tamura, 2013 .

Katsumi Inoue, Mutsunori Banbara, Hidetomo Nabeshima, 2008, RCRA.

Mutsunori Banbara, Naoyuki Tamura, Takehide Soh, 2017, Int. J. Artif. Intell. Tools.

Katsumi Inoue, Oliver Ray, Takehide Soh, 2010, ANB.

Mutsunori Banbara, Naoyuki Tamura, Takehide Soh, 2013, SAT.

Katsumi Inoue, Martin Gebser, Torsten Schaub, 2015, LPNMR.

Takehide Soh, Takahisa Toda, Takahisa Toda, 2015, ACM J. Exp. Algorithmics.

Katsumi Inoue, Takehide Soh, Toshihiko Shiroishi, 2012, BIOINFORMATICS 2012.