Chapter Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane 2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14690:21-41 Subercaseaux B, Mackey J, Heule MJH, Martins R
Preprint Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane 2023 Subercaseaux B, Mackey J, Heule MJH, Martins R
Journal Article The Resolution of Keller's Conjecture 2022 • Journal of Automated Reasoning • 66(3):277-300 Brakensiek J, Heule M, Mackey J, Narvaez D
Journal Article Tighter Bounds on Directed Ramsey Number <i>R</i>(7) 2022 • Graphs and Combinatorics • 38(5): Neiman D, Mackey J, Heule M
Journal Article Containment: A Variation of Cops and Robber 2020 • Graphs and Combinatorics • 36(3):591-605 Crytser D, Komarov N, Mackey J
Chapter The Resolution of Keller's Conjecture 2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12166:48-65 Brakensiek J, Heule M, Mackey J, Narvaez D
Journal Article On the Number of 5-Cycles in a Tournament 2017 • Journal of Graph Theory • 86(3):341-356 Komarov N, Mackey J
Journal Article Improved upper and lower bounds on a geometric Ramsey problem 2014 • European Journal of Combinatorics • 42:135-144 Lavrov M, Lee M, Mackey J
Journal Article A Cube Tiling of Dimension Eight with No Facesharing 2002 • Discrete and Computational Geometry • 28(2):275-279 Mackey
Journal Article A lower bound for groupies in graphs 1996 • Journal of Graph Theory • 21(3):323-326 Mackey J