Blog post7 min read
Gecode 6.3.0 and 6.4.0 are releasedDraft
Gecode 6.3.0 collects seven years of solver and MiniZinc integration work, while 6.4.0 modernizes the build, adds new propagation functionality, and starts a more active release line.
Blog
Notes on constraint programming, algorithms, software, conferences, and research.
Collections
Blog post4 min read
Propagating the minimum distance between selected pointsDraft
Selecting well-spaced points looks simple, but the usual decomposition creates quadratically many auxiliary variables. This post compares direct Gecode propagators and shows how a matching bound can strengthen them.
Blog post3 min read
What happens when Sudoku scales?Draft
The main result is a public collection of 434,201 generated Sudoku instances, ranging from 6×6 to 36×36. The paper's experiments provide a map of how their propagation-based hardness changes with size.
Blog post4 min read
Table Talk TuningDraft
A real wedding seating plan led to a MiniZinc model that balances practical requests with the chance of finding something to talk about. The post shows the central constraints and the mixed-radix objective.
Blog post23 min read
Solving the Partridge Packing Problem using MiniZincDraft
A MiniZinc walk-through of the Partridge Packing Problem: pack one 1×1 square, two 2×2 squares, and so on into a square with exactly the same total area.
Blog post19 min read
Rotating Workforce Scheduling in MiniZincDraft
Solving the Rotating Workforce Scheduling problem using MiniZinc.
Blog post7 min read
How to check for overlapping intervalsDraft
Understanding intervals, their overlaps, and how to write effective conditions for interval-based problems
Blog post6 min read
The Work Task Variation ProblemDraft
The Work Task Variation Problem, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at CP 2025.
Blog post17 min read
On Benchmarking MiniZinc and the LinkedIn Queens ProblemDraft
On Benchmarking MiniZinc and the LinkedIn Queens Problem
Blog post9 min read
Solving LinkedIn Queens using MiniZincDraft
Solving LinkedIn Queens using MiniZinc
Blog post5 min read
Half-checking propagatorsDraft
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at ModRef 2020
Blog post6 min read
Half-checking propagatorsDraft
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt
Blog post6 min read
Nmbr9 as a Constraint Programming ChallengeDraft
Nmbr9 as a Constraint Programming Challenge, a paper by Mikael Z. Lagerkvist
Blog post9 min read
State Representation and Polyomino Placement for the Game PatchworkDraft
State Representation and Polyomino Placement for the Game Patchwork, a paper by Mikael Z. Lagerkvist
Blog post9 min read
Monte Carlo Methods for the Game KingdominoDraft
Monte Carlo Methods for the Game Kingdomino, a paper by Magnus Gedda, Mikael Z. Lagerkvist and Martin Butler
Blog post5 min read
IJCAI 2018 and SOCS 2018 summaryDraft
International Joint Conference on AI and Symposium on combinatorial search 2018 summary
Blog post15 min read
IJCAI 2018, second dayDraft
IJCAI 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting. In this and other posts I will give some short comments on interesting things I've heard. If anything is wrong or misrepresented, please don't hesitate to get in touch with me. On the fifth day the main IJCAI conference continued.
Blog post14 min read
IJCAI 2018, first dayDraft
IJCAI 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting. In this and other posts I will give some short comments on interesting things I've heard. If anything is wrong or misrepresented, please don't hesitate to get in touch with me. On the fourth day the main IJCAI conference started.
Blog post8 min read
SOCS 2018, second dayDraft
IJCAI 2018 and SOCS 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting. In this and other posts I will give some short comments on interesting things I've heard. If anything is wrong or misrepresented, please don't hesitate to get in touch with me.
Blog post7 min read
SOCS 2018, first dayDraft
IJCAI 2018 and SOCS 2018 is being held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting. In this and other posts I will give some short comments on interesting things I've heard. If anything is wrong or misrepresented, please don't hesitate to get in touch with me.