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.
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.
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.
The Work Task Variation Problem, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at CP 2025.
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt at ModRef 2020
Half-checking propagators, a paper by Mikael Z. Lagerkvist and Magnus Rattfeldt
Nmbr9 as a Constraint Programming Challenge, a paper by Mikael Z. Lagerkvist
State Representation and Polyomino Placement for the Game Patchwork, a paper by Mikael Z. Lagerkvist
Monte Carlo Methods for the Game Kingdomino, a paper by Magnus Gedda, Mikael Z. Lagerkvist and Martin Butler
International Joint Conference on AI and Symposium on combinatorial search 2018 summary
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.
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.
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.
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.