情報処理学会 第79回全国大会講演要旨

SAT ソルバーの一つである minisat および順序符号化手法 sugar を用いて Magic Graph を構成する方法を述べさらにその応用として虫食い Magic Graph および指定数字を辺に配置する問題について述べる。