Searched for: department:"Software%5C%2BTechnology"
(1 - 2 of 2)
Lotgering, T.F. (author)
The Max-Sat problem has been intensively studied during the past few decades. Semi-definite programming based approximation algorithms provide good approximation ratios and polynomial runtime solutions to this problem. Unfortunately the high degree of their polynomial runtime prevents their application to problems with a large number of...
master thesis 2012
Mijnders, S. (author), Lotgering, T. (author)
Final report of our bachelor project commissioned by Tygron.
bachelor thesis 2009