Linda van Norden

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Hans van Maaren, Linda van Norden, M. J. H. Heule
Sums of squares based approximation algorithms for MAX-SAT. Discret. Appl. Math. 156 (10) (2008)
Han Hoogeveen, Linda van Norden, Steef L. van de Velde
Lower bounds for minimizing total completion time in a two-machine flow shop. J. Sched. 9 (6) (2006)
Hans van Maaren, Linda van Norden
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Ann. Math. Artif. Intell. 44 (1-2) (2005)
Hans van Maaren, Linda van Norden
Sums of Squares, Satisfiability and Maximum Satisfiability. SAT (2005)
Linda van Norden, Steef L. van de Velde
Multi-product lot-sizing with a transportation capacity reservation contract. Eur. J. Oper. Res. 165 (1) (2005)
Hans van Maaren, Linda van Norden
Hidden Threshold Phenomena for Fixed-Density SAT-formulae. SAT (2003)
Linda van Norden, Hans van Maaren
A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. CP (2002)