Library
search
local_library
Repository
Lv
L van Norden
View Pure Profile
Authored
8 records found
Sums of squares based approximation algorithms for MAX-SAT
Journal article -
H. van Maaren
,
L van Norden
,
M.J.H. Heule
Intelligent task scheduling in sensor networks
Conference paper -
L van Norden
,
F Bolderheij
,
J de Jong
,
L.J.M. Rothkrantz
Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
Journal article -
H. van Maaren
,
L van Norden
Sums of squares, satisfiability and maximum satisfiability
Conference paper -
H. van Maaren
,
L van Norden
A winner determination problem of tendering transportation services
Journal article -
L van Norden
,
H van Nunen
,
S van de Velde
A linear programming based satisfiability solver using a new horn-driven search tree design
Conference paper -
L van Norden
,
H. van Maaren
Multi-product lot-sizing with a transportation capacity reservation contract
Journal article -
L van Norden
,
S van de Velde
Hidden threshold phenomena for fixed-density SAT-formulae
Conference paper -
H. van Maaren
,
L van Norden