Sums of squares based approximation algorithms for MAX-SAT
van Maaren, H., van Norden, L., Heule, M.J.H.
Published in Discrete Applied Mathematics (28.05.2008)
Published in Discrete Applied Mathematics (28.05.2008)
Get full text
Journal Article
A New Method to Construct Lower Bounds for Van der Waerden Numbers
Herwig, P. R., Heule, M.J.H., Van Lambalgen, P. M., Van Maaren, H.
Published in The Electronic journal of combinatorics (03.01.2007)
Published in The Electronic journal of combinatorics (03.01.2007)
Get full text
Journal Article