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
On-Line Control and Optimisation of the Pelleting Process of Animal Feed
de Blank, Henriëtte, Hendrix, Eligius, Litjens, Michael, van Maaren, Hans
Published in Journal of the science of food and agriculture (01.05.1997)
Published in Journal of the science of food and agriculture (01.05.1997)
Get full text
Journal Article
On Semidefinite Programming Relaxations of (2+p)-SAT
de Klerk, E, van Maaren, H
Published in Annals of mathematics and artificial intelligence (01.03.2003)
Published in Annals of mathematics and artificial intelligence (01.03.2003)
Get full text
Journal Article
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
Heule, Marijn, Dufour, Mark, van Zwieten, Joris, van Maaren, Hans
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Sums of Squares, Satisfiability and Maximum Satisfiability
Get full text
Book Chapter
Conference Proceeding
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
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming
Get full text
Book Chapter
Conference Proceeding
Generation of classes of robust periodic railway timetables
ODIJK, Michiel A, ROMEIJN, H. Edwin, VAN MAAREN, Hans
Published in Computers & operations research (01.08.2006)
Published in Computers & operations research (01.08.2006)
Get full text
Journal Article
Computing an integer point of a simplex with an arbitrary starting homotopy-like simplicial algorithm
Dang, Chuangyin, van Maaren, Hans
Published in Journal of computational and applied mathematics (01.04.2001)
Published in Journal of computational and applied mathematics (01.04.2001)
Get full text
Journal Article
Conference Proceeding