Supervisions

MSc Theses

MSc Theses: 1

2017

André Filipe Ribeiro dos Reis
Algorithms for Maximum Satisfiability using GPU
MSc Thesis, Jun. 2017 [bibTex]