Bernardo Subercaseaux's repositories
competitiveProgramming
Material related to competitive programming (Specially ACM-ICPC)
twenty-four
A simple web version of the game 24
bsubercaseaux.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
eznf
A prototype library for prototyping SAT encodings.
Language:PythonMIT000
gensim-data
Data repository for pretrained NLP models and NLP corpora.
PackingChromaticNumberAtLeast14
Code associated to the paper "The Packing Chromatic Number of the Infinite Square Grid is At Least 14", accepted at SAT'2022
PackingChromaticTacas
Files related to the paper "The Packing Chromatic Number of the Infinite Square Grid is 15", accepted at TACAS'2023.
smart-group
Website for the smart-group at CMU
TACAS-packing-manim
For my talk at TACAS 2023