Recent Posts

Setting up instrumentation for a programming language runtime.

Projects

MiniZinc

MiniZinc is a free and open-source constraint modeling language.

Recent Publications

The combination of large neighbourhood search (LNS) methods with complete search methods has proved to be very effective. By …

A well-known and powerful constraint model reformulation is to compute the solutions to a model part, say a custom constraint …

Constraint models often describe complicated problems that contain sub-problems that could be solved in sub-models. Although …

Dealing with concurrency and parallelism is hard. Using scientific tools, models can be created giving insight into the nature of …

Contact