Apresentação

Fotografia da pessoa
Categoria(s) *
Professor Associado
Unidade de investigação *
Software Algorithms and Tools for constraint solving (SAT Group)
Email
vasco.manquinho@tecnico.ulisboa.pt (Principal)
Email
vasco.manquinho@inesc-id.pt
Página alternativa
http://sat.inesc-id.pt/~vmm/
Disciplina(s) que lecciona *

Introdução aos Algoritmos e Estruturas de Dados

Introdução aos Algoritmos e Estruturas de Dados

Projecto Integrador de 2º Ciclo em Engenharia Informática e de Computadores

Algoritmos para Lógica Computacional

Restrições e Optimização Booleanas


* A informação apresentada nesta página é relativa a 1º semestre 2024/2025