O Ciclo de Seminários PESC volta a acontecer semana que vem trazendo o Prof. Vadim Lozin da University of Warwick, UK. Vadim tem forte atuação na área de algoritmos e grafos, atacando problemas clássicos e difíceis, como o de satisfatibilidade booleana (SAT) que será tema de sua palestra.

Data: 05/11 (quarta) - 11 horas
Sala: H-324B

---

Título:
Boundary properties of the Satisfiability problem

Resumo:
The satisfiability prob