Events Calendar
|
Wednesday, 05 November 2014, 11:00 - 1:00
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
Data: 05/11 (quarta) - 11 horas
Sala: H-324B
---
Título:
Boundary properties of the Satisfiability problem
Resumo:
The satisfiability prob