Hillel Wayne wrote about solving the LinkedIn Queens problem with SMT in his Computer Things newsletter. This was in turn inspired by Ryan Berger's post Using SAT to Get the World Record on LinkedIn's Queens that solves the same problem using a SAT solver.

Not to be outdone, this post describes how to use MiniZinc to solve the problem in what I think is a more readable and natural expression of the model than either SAT or SMT. As always, YMMV and what is natural and clear to one person is opaque and weird to someone else.

This site and blog has been re-written from an old Hugo based site that I could no longer update, into a more modern architecture using Astro for static site generation and hosting on Netlify. This site is still a work in progress, and bugs and issues are expected.

The main difference for me is that I can now esily write a post and push to git, and the site is deployed. I hope to make use of this to publish more lightweight blog posts in the future.

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.

CP 2019 was held in Stamford, CT, USA during the week from 31st of September to the 4th of October 2019. This post contains some thoughts and reflections. Any selection of papers that I comment on is just what I personally found extra interesting of the presentations that I saw.

Table of contents

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

I attended RustFest 2018 in Paris in the spring. While I did not keep notes then, here I will add some comments on what I found interesting during the days, similar to my IJCAI 2018 notes.

Main conference day

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

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 seventh day the main IJCAI conference concluded. The conference has many parallel tracks, comments here are from sessions that I thought might be interesting for me.

IJCAI 2018 and SoCS 2018 were held in Stockholm from July the 13th to July the 19th as a part of the Federated AI Meeting. Here I will give my personal summary comments on the conferences based on the talks I've seen. If anything is wrong or misrepresented, please don't hesitate to get in touch with me.

I have not been to such a big scientific conference before, which was an interesting experience. In total all the conferences in FAIM had over 7500 participants, with around 2500 at IJCAI. SoCS on the other hand is a much smaller affair, with around 40 participants.

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 sitxh day the main IJCAI conference continued. The conference has many parallel tracks, comments here are from sessions that I thought might be interesting for me.

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. The conference has many parallel tracks, comments here are from sessions that I thought might be interesting for me.

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. The conference has many parallel tracks, comments here are from sessions that I thought might be interesting for 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.

The third day I attended the second day of SOCS 2018, the 11th Symposium on Combinatorial Search. The proceedings for SOCS 2018 are available here.

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.

The second day I attended SOCS 2018, the 11th Symposium on Combinatorial Search. The proceedings for SOCS 2018 are available here.

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.

The first day I attended the Computer Games Workshop.

Rust in 2018