The paper Half-checking propagators by Mikael Z. Lagerkvist and Magnus Rattfeldt is presented at the 19th workshop on Constraint Modelling and Reformulation at The 26th International Conference on Principles and Practice of Constraint Programming, CP2020.

This post summarizes the paper and gives some context on it. The paper is available on my research page. You can also watch the presentation given at the workshop if you are interested.

This paper has now been published at ModRef 2020. Please see the updated post that includes a video presentation.

The paper Half-checking propagators by Mikael Z. Lagerkvist and Magnus Rattfeldt is now available from arXiv. This post summarizes the paper and gives some context on it. The paper is available on my research page.

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

Rust in 2019

Monte Carlo Methods for the Game Kingdomino, a paper by Magnus Gedda, Mikael Z. Lagerkvist and Martin Butler

Rust in 2018