Events Calendar

Flat View
By Year
Monthly View
By Month
Weekly View
By Week
Search
Search
Download as iCal file
Seminário: Vadim Lozin (University of Warwick)
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

Back

JSN_TPLFW_GOTO_TOP