ダウンロード

数独の難易度判定のためのブーリアングレブナー基底の並列計算について