馬野, 洋平, 酒井, 正彦, 西田, 直樹, 坂部, 俊樹, 草刈, 圭一郎, UMANO, Yohei, SAKAI, Masahiko, NISHIDA, Naoki, SAKABE, Toshiki, KUSAKARI, Keiichirou
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
107
(392),
73-78,
2007-12
...近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は,SAT...
機関リポジトリ
HANDLE
Web Site
被引用文献1件
参考文献14件