activity
20012026
most citedThe alldifferent Constraint: A Survey

90 citations · 108 across the 9 of their papers we have counts for

collaborators

9 papers

math.OC2026

Inverse Optimization Without Inverse Optimization: Direct Solution Prediction with Transformer Models

Macarena Navarro, Willem-Jan van Hoeve, Karan Singh

We present an end-to-end framework for generating solutions to combinatorial optimization problems with unknown components using transformer-based sequence-to-sequence neural netwo…

cs.AI2004★ 8 cited

On Global Warming (Softening Global Constraints)

Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau

We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints,…

cs.AI2004

Reduced cost-based ranking for generating promising subproblems

M. Milano, W. J. van Hoeve

In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of…

cs.PL2004

A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint

Willem Jan van Hoeve

This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flo…

cs.AI2004★ 4 cited

Postponing Branching Decisions

Willem Jan van Hoeve, Michela Milano

Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this pap…

cs.DM2004

Exploiting Semidefinite Relaxations in Constraint Programming

Willem Jan van Hoeve

Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of…