ALGOS Logo

João Miguel de Oliveira Alves 
Alumni
At Inesc since: 2008-11-01
At Inesc until: 2012-12-31
 
 
 
Publications
Technical Reports
-João Alves, Desenvolvimento e Análise de Algoritmos Distribuídos para problemas de Satisfação Computacional (SAT), INESC-ID Tec. Rep. 59/2009, Nov 2009. [bibTeX]