市松状TRUE
from
SAT の色んなガジェット
市松状TRUE
checker-grided 1-in-3SAT
では
多分これが一番小さいと思います
https://scrapbox.io/files/649f83d4d551c6001cc3ae39.png
? 2 変数共有と同じ変数が 4 節に出現するのを許している
? これらを縛って CONSTs を作れないか