Concepedia

Hans van Maaren

HV

Statistics

Publications

14

Citations

585

H-Index

12

Active since

1998

Affiliations

Delft University of Technology(Current)

Centrum Wiskunde & Informatica

Hans van Maaren is an author at Delft University of Technology specializing in computer science, mathematics, and algorithms.

Publications per year

1998–2007

14

Publications

14

SATLIB: An Online Resource for Research on SAT

Holger H. Hoos, Thomas Stützle, Ian P. Gent et al. · 2000 · 312 citations

, , +10

A two-phase algorithm for solving a class of hard satisfiability problems

Joost P. Warners, Hans van Maaren · Operations Research Letters · 1998 · 57 citations · Full text

, , +9

A New Method to Construct Lower Bounds for Van der Waerden Numbers

P. R. Herwig, Marijn J. H. Heule, P. M. Van Lambalgen et al. · The Electronic Journal of Combinatorics · 2007 · 32 citations · Full text

, , +11

Local Search Algorithms for SAT: An Empirical Evaluation

Holger H. Hoos, Thomas Stützle, Ian P. Gent et al. · Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles) · 2000 · 27 citations

, , +9

Generation of classes of robust periodic railway timetables

Michiel A. Odijk, H. Edwin Romeijn, Hans van Maaren · Computers & Operations Research · 2005 · 23 citations

, , +8

1–5 of 14