|
Elsa Cristina Batista Bento Carvalho
Departamento de Matemática e Engenharias
Universidade da Madeira
Campus Universitário da Penteada
9000-390 Funchal
Portugal
Telefone: +351 291705194
Fax: +351 291705199
Email: elsac(at)uma.pt
www:
Office: Room 2.102
|
Actividade Profissional
- Assistente, Universidade da Madeira
Habilitações Académicas
- PAPCC em Informática
- Licenciatura em Informática
|
Áreas de Investigação
|
Publicações
-
E. Carvalho and J. Marques-Silva, "Using Rewarding Mechanisms for Improving Branching Heuristics", Proceedings of the International Symposium on Theory and Applications of Satisfiability Testing, May 2004.
-
E. Carvalho, Técnicas Adaptativas para o Problema de Satisfação de Restrições. Tese escrita no âmbito das PAPCC, Universidade da Madeira.
|
|
|
|
|