Linda van Norden

Hidden Threshold Phenomena for Fixed-Density SAT-formulae

Hans van Maaren, Linda van Norden, 2003, SAT.

Lower bounds for minimizing total completion time in a two-machine flow shop

Han Hoogeveen, Linda van Norden, Steef L. van de Velde, 2006, J. Sched..

Sums of Squares, Satisfiability and Maximum Satisfiability

Hans van Maaren, Linda van Norden, H. Maaren, 2005, SAT.

Sums of squares based approximation algorithms for MAX-SAT

Marijn J. H. Heule, Hans van Maaren, Marijn Heule, 2008, Discret. Appl. Math..

A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design

Hans van Maaren, Linda van Norden, 2002, CP.

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

Hans van Maaren, Linda van Norden, 2005, Annals of Mathematics and Artificial Intelligence.

A winner determination problem of tendering transportation services

Linda van Norden, Steef van de Velde, Jo A. E. E. van Nunen, 2006 .

Multi-product lot-sizing with a transportation capacity reservation contract

Linda van Norden, Steef L. van de Velde, S. Velde, 2005, Eur. J. Oper. Res..