O Sudoku é um jogo de lógica e raciocínio que está a dominar o mundo. Todos nós já fizemos alguns Sudokus; no entanto, qual será a forma mais eficiente de resolver este problema? Neste seminário iremos utilizar uma abordagem SAT e mostrar a sua eficiência na resolução deste problema.
Os algoritmos SAT estão cada vez mais presentes no nosso mundo e o Sudoku é apenas a ponta do iceberg dos problemas que podem ser resolvidos, de forma eficiente, com o recurso a estes algoritmos.