W
Willem-Jan van Hoeve
Researcher at Carnegie Mellon University
Publications - 89
Citations - 1701
Willem-Jan van Hoeve is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Constraint programming & Constraint logic programming. The author has an hindex of 22, co-authored 79 publications receiving 1480 citations. Previous affiliations of Willem-Jan van Hoeve include Centrum Wiskunde & Informatica & Cornell University.
Papers
More filters
Posted Content
The alldifferent Constraint: A Survey
TL;DR: A practical overview and an abstract comparison of several solving strategies for the constraint of difference in constraint pro- gramming are given.
Book ChapterDOI
A systematic approach to MDD-based constraint programming
TL;DR: This work presents a systematic approach to MDD-based constraint programming, and introduces a generic scheme for constraint propagation in MDDs, showing that all previously known propagation algorithms for MDDs can be expressed using this scheme.
Journal ArticleDOI
Discrete Optimization with Decision Diagrams
TL;DR: A general branch-and-bound algorithm for discrete optimization in which binary decision diagrams play the role of the traditional linear programming relaxation, in which relaxed BDD representations of the problem provide bounds and guidance for branching, and restricted BDDs supply a primal heuristic.
Book ChapterDOI
Manipulating MDD relaxations for combinatorial optimization
TL;DR: The experimental results indicate that the MDD relaxation is particularly effective on structured problems, being able to outperform state-of-the-art integer programming technology by several orders of magnitude.
Journal ArticleDOI
On global warming: Flow-based soft global constraints
TL;DR: In this article, a generic method to soften global constraints by adding violation arcs to the graph and then computing a minimum-weight flow in the extended graph to measure the violation is proposed.