@techreport{oai:ipsj.ixsq.nii.ac.jp:00216133,
 author = {戸田, 貴久 and 伊藤, 健洋 and 川原, 純 and 宋, 剛秀 and 鈴木, 顕 and 照山, 順一},
 issue = {5},
 month = {Jan},
 note = {独立集合遷移問題とは，グラフの独立集合に所定の変更操作を繰り返し適用して，初期の独立集合から目標の独立集合へと遷移させることができるかどうか判定する問題である．これは，もっともよく研究されている組合せ遷移問題の一つである．本研究では，変更操作の適用回数が限定された場合において，この問題に対する有界モデル検査を用いた解法を考察する．, The INDEPENDENT SET RECONFIGURATION problem, which is one of the most well-studied reconfiguration problems, is to determine whether two given independent sets of a graph can be transformed into each other by repeatedly applying a prescribed operation. In this study, we consider the case where the number of applications of the operation is bounded, and propose methods to solve the case with bounded model checking.},
 title = {有界モデル検査による独立集合遷移問題の解法に関する考察},
 year = {2022}
}