research
∙
01/23/2023
The Packing Chromatic Number of the Infinite Square Grid is 15
A packing k-coloring is a natural variation on the standard notion of gr...
share
research
∙
05/03/2021
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
In 2006, Biere, Jussila, and Sinz made the key observation that the unde...
research
∙
07/01/2019
