Md Solimul Chowdhury, MSc (2011) SAT with Global Constraints
C. Wang, PhD (2011)
On Top-K Ranking on Uncertain Databases . The main results of the thesis are publisehd in
G. Liu, PhD (2010) Logic Programming with Constraints (Co-recipient of the department "Outstanding PhD Thesis Award")