レプ・タイルの定式化を用いた各種ソルバの性能比較 番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁
人工知能学会研究会資料 人工知能基本問題研究会, 119, 02-07, 2022
Unfolding and Dissection of Multiple Cubes, Tetrahedra, and Doubly Covered Squares Zachary Abel, Brad Ballinger, Erik D. Demaine, Martin L. Demaine, Jeff Erickson, Adam Hesterberg, Hiro Ito, Irina Kostitsyna, Jayson Lynch, Ryuhei Uehara
情報処理学会論文誌, 58, 8, -, 2017
Sankaku-tori: An Old Western-Japanese Game Played on a Point Set Takashi Horiyama, Takashi Iizuka, Masashi Kiyomi, Yoshio Okamoto, Ryuhei Uehara, Takeaki Uno, Yushi Uno, Yukiko Yamauchi
情報処理学会論文誌, 58, 8, -, 2017
FPT algorithms for Token Jumping on Graphs ITO TAKEHIRO, KAMINSKI MARCIN, ONO HIROTAKA, SUZUKI AKIRA, UEHARA RYUHEI, YAMANAKA KATSUHISA
IEICE technical report. Theoretical foundations of Computing, 114, 80, 9-12, 2014
Bumpy Pyramid Folding Problem ABEL ZACHARY R., DEMAINE ERIK D., DEMAINE MARTIN L., ITO HIRO, SNOEYINK JACK, UEHARA RYUHEI
Mathematical Systems Science and its Applications : IEICE technical report, 113, 279, 113-119, 2013
Bumpy Pyramid Folding Problem Zachary R.Abel, Erik D.Demaine, Martin L.Demaine, Hiro Ito, Jack Snoeyink, Ryuhei Uehara
IPSJ SIG Notes, 2013, 19, 1-7, 2013
3充足可能性判定問題3SATの単一解を持つ正例題生成手法 MOTOKI Mitsuo, UEHARA Ryuhei
IEICE technical report. Theoretical foundations of Computing, 98, 432, 25-32, 1999