-
Subquadratic encodings for my favorite graph problems
An observation allowing to encode several graph problems in $$o(|E|)$$ clauses.
-
Mathematics, Philosophy, Not-poems, and learning How To Surf from a book
A long and painfully ambitious post about how I engage with the disciplines I love.
-
The story behind the Packing Chromatic paper.
A personal tale about what it's been to determine the packing chromatic number of the infinite square grid.
-
A cute problem about asymptotics of a summation
A solution to a nice little problem given to my NicolĂĄs Sanhueza-Matamala.