QBFソルバを用いた詰将棋に対する即詰みの有無判定

第22回ゲームプログラミングワークショップ2017, 第22回ゲームプログラミングワークショップ2017論文集, pp.152-157 (2017)
開催日: 2017年11月10-12日 @ 箱根セミナーハウス，箱根町，神奈川

• 箱根セミナーハウス，箱根町，神奈川