Marienus Johannes Hendrikus “Marijn” Heule

Marijn Heule, a virtuoso computer scientist, who does not always rely on existing software but rather creates his own. We, mathematicians, are fortunate that he became excited about CNP problem, for he has produced a series of 7 world records for the smallest (in vertex count) known 5-chromatic unit-distance graphs. Let us document the succession of his seven 5-chromatic unit-distance graph records and then have Marijn present one of them in detail.