照沼志帆, 李陽, 崎山一男, 宮原大輝, “数独に対するカードベース別解検証プロトコル,” 2026年暗号と情報セキュリティシンポジウム(SCIS’26), 3A3-3, 7 pages (Jan.,2026).