ハミルトン閉路問題のSAT符号化に関する研究 https://t.co/nKicgGeR3A 連結性を記述せずに後から小ループを禁止していく手法

@SP1_winter これのやつですね https://t.co/dwyyNApwwX 解列挙や制約微調整（≒作問向き）に使えそうで気になってるのですが、 iSugarは公開されてなさそう。 コンテストに出てたらそこからダウンロードできるかも？

調べた。ペントミノパズルの解の列挙の論文は参照できなかったので代わりに https://t.co/2dmiKbaNmF から立体ペントミノパズルの解の列挙の方を参照。 バックトラックで1分で解けるのに2000分掛かっているという内容でマジかってなる。 たぶんペントミノの方も良くなさそう。

参考2. BDD/ZDDを用いたペントミノパズルの解の列挙 https://t.co/RqQ3gZHpfO

国立国会図書館デジタルコレクションに古いクロスワードがいくつかある。今見るといろんな意味でやばい作品も出てきた。 https://t.co/SDYYX6QmSD

参考： 「パズル教育の現在とその問題点」（大商大アミューズメント産業研究所紀要） https://t.co/Dy80SkWkwr