- document
-
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
- document
-
Mijnders, S. (author), Lotgering, T. (author)Final report of our bachelor project commissioned by Tygron.bachelor thesis 2009