ブーリアングレブナー基底を使った数独no