Linda van Norden

According to our database, Linda van Norden authored at least 7 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Sums of squares based approximation algorithms for MAX-SAT.

Hans van Maaren, Linda van Norden, M. J. H. Heule

Discret. Appl. Math., 2008

2006

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

2005

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

Linda van Norden, Steef L. van de Velde

Eur. J. Oper. Res., 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

Sums of Squares, Satisfiability and Maximum Satisfiability.

Hans van Maaren, Linda van Norden

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2003

Hidden Threshold Phenomena for Fixed-Density SAT-formulae.

Hans van Maaren, Linda van Norden

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002

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

Linda van Norden, Hans van Maaren

Proceedings of the Principles and Practice of Constraint Programming, 2002