L van Norden | TU Delft Repository

Sums of squares based approximation algorithms for MAX-SAT

A winner determination problem of tendering transportation services

Intelligent task scheduling in sensor networks

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)

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)