Dissertations
 
   
Ongoing Dissertations


PhD Theses: 1
-Alessandro PrevitiJoao Marques Silva and António José dos Reis Morgado, Hitting set dualization problems and applications PhD Thesis on , work in progress, [bibTex]

MSc Theses: 2
-José Francisco Pires AmaralVasco Manquinho, Algorithms for Markov Logic Networks MSc Thesis on , work in progress, [bibTex]
-André Filipe Ribeiro dos ReisVasco Manquinho and Luis Guerra e Silva, Algorithms for Maximum Satisfiability using GPU MSc Thesis on , work in progress, [bibTex]