Dissertation
-André Filipe Ribeiro dos Reis advised by Vasco Manquinho and Luis Guerra e SilvaAlgorithms for Maximum Satisfiability using GPU MSc Thesis on , work in progress, [bibTex]