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