松本吏司，原田崇司
DanceDD-Cを用いたXCCに対するアルゴリズム (発表スライド）
人工知能学会研究会資料，人口知能基本問題研究会, SIG-FPAI-131-01, 2025年1月 [概要]
松本吏司，原田崇司，竹内聖悟
長さ l の s-t パス数え上げ問題のXCCとしての定式化（発表スライド）
電子情報通信学会総合大会，DS-2-04, 2023
厳密被覆問題を表すZDDに対する前処理
人工知能学会研究会資料，人口知能基本問題研究会, SIG-FPAI-120-03, 2022年3月 [概要]