| 2008 |
|---|
| 7 | EE | Hans van Maaren,
Linda van Norden,
M. J. H. Heule:
Sums of squares based approximation algorithms for MAX-SAT.
Discrete Applied Mathematics 156(10): 1754-1779 (2008) |
| 2006 |
|---|
| 6 | EE | Han Hoogeveen,
Linda van Norden,
Steef L. van de Velde:
Lower bounds for minimizing total completion time in a two-machine flow shop.
J. Scheduling 9(6): 559-568 (2006) |
| 2005 |
|---|
| 5 | EE | Hans van Maaren,
Linda van Norden:
Sums of Squares, Satisfiability and Maximum Satisfiability.
SAT 2005: 294-308 |
| 4 | EE | 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): 157-177 (2005) |
| 3 | EE | Linda van Norden,
Steef L. van de Velde:
Multi-product lot-sizing with a transportation capacity reservation contract.
European Journal of Operational Research 165(1): 127-138 (2005) |
| 2003 |
|---|
| 2 | EE | Hans van Maaren,
Linda van Norden:
Hidden Threshold Phenomena for Fixed-Density SAT-formulae.
SAT 2003: 135-149 |
| 2002 |
|---|
| 1 | EE | Linda van Norden,
Hans van Maaren:
A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.
CP 2002: 775-776 |
