Soduko problem instances are transformed to sat instances and subsequently solved.
Posibillities:
- Is the relative amount of givens a valid predictor for the computational hardness of a sudoko puzzle.
- Is the distribution of amount of givens a valid predictor for the computational hardness of a sudoku puzzle.
- Check statistics of picosat
- experiment: givens vs. computational difficulty.
- plot the results.
- expirement: probabillity of properness vs. amount of givens.
- plot the results.
- write it down in report.
- For generating the sudoku (the valid sudoku formula and algorithm): http://theinf1.informatik.uni-jena.de/publications/sudoku-weller08.pdf
- https://link.springer.com/content/pdf/10.1007/978-3-540-79719-7_4.pdf