対話型埋込みによる数独問題の設計ツール
Bibliographic Information
- Other Title
-
- タイワガタ ウメコミ ニ ヨル スウドク モンダイ ノ セッケイ ツール
- A Tool for Designing Sudoku Problems by Interactive Fill-in Approach
Search this article
Abstract
In recent years, several efficient SAT solvers, which decide satisfiability of boolean formulae, have been developed and used in solving Sudoku puzzles. In this paper, we present the interactive tool for designing Sudoku puzzles that we constructed experimentally by using a SAT solver. This tool contains three main functions: 'displaying numbers that can be filled in a cell without a contradiction', 'displaying cells without contributing the uniqueness', 'displaying a partial solution obtained by fundamental techniques.' The implementation of the former two functions relies on efficient checks of a contradiction or uniqueness of the given problem by using a SAT solver.
Journal
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (392), 73-78, 2007-12
一般社団法人電子情報通信学会
- Tweet
Details
-
- CRID
- 1050282813780201856
-
- NII Article ID
- 110006549286
- 120005527803
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/21101
-
- NDL BIB ID
- 9328526
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles