Joshua Brakensiek Marijn Heule John Mackey David E. Narváez The Resolution of Keller's Conjecture. 48-65 2020 IJCAR (1) https://doi.org/10.1007/978-3-030-51074-9_4 conf/cade/2020-1 db/conf/cade/ijcar2020-1.html#BrakensiekHMN20