西山 大樹
发表
吉村 直子,
川本 雄一,
西山 大樹,
2009,
SAT 2011.
西山 大樹,
2014,
SAT 2014.
西山 大樹,
加藤 寧,
高橋 朝人,
2012
.
西山 大樹,
加藤 寧,
2014
.
西山 大樹,
加藤 寧,
池田 好宏,
2010,
SAT 2010.
吉本 直人,
西山 大樹,
加藤 寧,
2012
.
西山 大樹,
加藤 寧,
中平 勝也,
2011,
SAT 2011.
小野 文枝,
三浦 龍,
川本 雄一,
2017
.
西山 大樹,
加藤 寧,
橋本 和夫,
2006
.
西山 大樹,
永山 忍,
稲木 雅人,
2012
.
三浦 龍,
西山 大樹,
加藤 寧,
2013,
SAT 2013.
小野 文枝,
三浦 龍,
西山 大樹,
2014,
International Conference on Theory and Applications of Satisfiability Testing.
西山 大樹,
加藤 寧,
杉山 隆利,
2013,
SAT 2013.
西山 大樹,
加藤 寧,
鈴木 健太,
2012
.
西山 大樹,
加藤 寧,
仲地 孝之,
2012
.
西山 大樹,
加藤 寧,
今野 功,
2009,
SAT 2013.
谷 重紀,
元吉 克幸,
西山 大樹,
2016
.
西山 大樹,
加藤 寧,
2013
.