dblp.uni-trier.dewww.uni-trier.de

Linda van Norden

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEHans 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
6EEHan 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
5EEHans van Maaren, Linda van Norden: Sums of Squares, Satisfiability and Maximum Satisfiability. SAT 2005: 294-308
4EEHans 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)
3EELinda 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
2EEHans van Maaren, Linda van Norden: Hidden Threshold Phenomena for Fixed-Density SAT-formulae. SAT 2003: 135-149
2002
1EELinda van Norden, Hans van Maaren: A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. CP 2002: 775-776

Coauthor Index

1Marijn Heule (M. J. H. Heule) [7]
2Han Hoogeveen (J. A. Hoogeveen) [6]
3Hans van Maaren [1] [2] [4] [5] [7]
4Steef L. van de Velde [3] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)