A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. - Linda van Norden; Hans van Maaren (CP, 2002)

Hidden Threshold Phenomena for Fixed-Density SAT-formulae. - Hans van Maaren; Linda van Norden (SAT, 2003)

Sums of Squares, Satisfiability and Maximum Satisfiability. - Hans van Maaren; Linda van Norden (SAT, 2005)

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. - Hans van Maaren; Linda van Norden (Ann. Math. Artif. Intell., 2005)

Multi-product lot-sizing with a transportation capacity reservation contract. - Linda van Norden; Steef L. van de Velde (Eur. J. Oper. Res., 2005)

Lower bounds for minimizing total completion time in a two-machine flow shop. - Han Hoogeveen; Linda van Norden; Steef L. van de Velde (J. Sched., 2006)

Sums of squares based approximation algorithms for MAX-SAT. - Hans van Maaren; Linda van Norden; M. J. H. Heule (Discret. Appl. Math., 2008)