International conference
-Non-Portfolio Approaches for Distributed Maximum SatisfiabilityMiguel Neves and Inês Lynce and Vasco Manquinho presented at IEEE International Conference on Tools with Artificial Intelligence, Nov. 2016, IEEE Press, [DOI Article link][bibTex]