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 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.

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

Report on CP 2019 conference in Stamford, CT, USA

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.

Report on the second day of the IJCAI 2018 conference in Stockholm

Report on the first day of the IJCAI 2018 conference in Stockholm

Report on the second day of the Symposium on Combinatorial Search at IJCAI 2018 in Stockholm

Report on the Symposium on Combinatorial Search at IJCAI 2018 in Stockholm

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