Contents/conteúdo

Diagonal Seminar   RSS

26/04/2006, 12:00 — 13:00 — Room P9, Mathematics Building
Ruben Martins, N/A

SAT & Sudoku

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.

What is it?
A student seminar.
For whom?
For everyone interested in Mathematics.
About what?
Mathematics, in general.

Contacts and further information: https://math.tecnico.ulisboa.pt/diagonal/

Fundação Calouste Gulbenkian