Subquadratic encodings for my favorite graph problems
An observation allowing to encode several graph problems in $$o(|E|)$$ clauses.
Bernardo Subercaseaux
The academic website of Bernardo Subercaseaux, a theoretical computer scientist working on automated reasoning and discrete mathematics.
Latest posts
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.