L van Norden | TU Delft Repository

Lv

L van Norden

Conference paper (4)

Journal article (4)

8 records found

1

Sums of squares based approximation algorithms for MAX-SAT

Journal article (2008) - H. van Maaren (author), L van Norden (author), M.J.H. Heule (author)

A winner determination problem of tendering transportation services

Journal article (2006) - L van Norden (author), H van Nunen (author), S van de Velde (author)

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

Journal article (2005) - H. van Maaren (author), L van Norden (author)

Intelligent task scheduling in sensor networks

Conference paper (2005) - L van Norden (author), F Bolderheij (author), J de Jong (author), L.J.M. Rothkrantz (author)

Sums of squares, satisfiability and maximum satisfiability

Conference paper (2005) - H. van Maaren (author), L van Norden (author)

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

Journal article (2005) - L van Norden (author), S van de Velde (author)

Hidden threshold phenomena for fixed-density SAT-formulae

Conference paper (2003) - H. van Maaren (author), L van Norden (author)

A linear programming based satisfiability solver using a new horn-driven search tree design

Conference paper (2002) - L van Norden (author), H. van Maaren (author)