連続する整数を成分とする行列 A が整数を成分とする逆行列を持つ時、magic matrix と呼ぶことにする。
magic matrix の行列式が連続する整数の初項 a の一次式で与えられることを示し、行列式の値が +1, -1 であることを用いて
それを制約条件とする整数配置問題として SAT ソルバーを用いて探索する方法を提案し２次及び３次行列に対する
具体的な解の構成法を与える。