Vasco Manquinho's Home Page
I'm a researcher at INESC-ID
where I work at the SAT
(Software Algorithms and Tools for constraint optimization) group.
I'm also an Associate Professor at the
Department of Computer Science and Engineering
at Instituto Superior Técnico
(Universidade de Lisboa) in Portugal.
In this page you can find links to my research work (papers and
software) as well as links to teaching activities.