Theses
Parallel Search for Maximum Satisfiability
[pdf]
[slides]
[bib]
PhD Thesis, Instituto Superior Técnico, University of Lisbon, Portugal, 2013.
O Impacto da Modelação na Resolução de Problemas de Satisfação Proposicional
[pdf]
[abstract]
[slides]
[bib]
Master Thesis, Instituto Superior Técnico, University of Lisbon, Portugal, 2007.