3,024 followers
@CP2019conf @phebe_vayanos Lots of graphs today, too... In particular with SAT encodings. SAT encodings are fun, graphs are fun, so check what can be done when combining both! (spoiler: build "small" graphs with a given chromatic number) https://t.co/myr5V