対話型埋込みによる数独問題の設計ツール

HANDLE Web Site 1 Citations 14 References Open Access

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

Citations (1)*help

See more

References(14)*help

See more

Keywords

Details

Report a problem

Back to top