A Sudoku-Solver for Large Puzzles using SAT.
Uwe PfeifferTomas KarnagelGuido SchefflerPublished in: LPAR short papers(Yogyakarta) (2010)
Keyphrases
- sat solving
- jigsaw puzzle
- sat solvers
- constraint satisfaction
- boolean formula
- weighted max sat
- unit propagation
- satisfiability problem
- max sat
- clause learning
- sat problem
- propositional satisfiability
- phase transition
- satisfiability modulo theories
- boolean satisfiability
- backtracking search
- parallel search
- search algorithm
- constraint solver
- crossword puzzles
- modulo theories
- quantified boolean formulas
- stochastic local search algorithms
- np complete
- constraint solving
- graph coloring
- orders of magnitude
- constraint satisfaction problems