A lower bound for groupies in graphs. - John Mackey (J. Graph Theory, 1996)

A Cube Tiling of Dimension Eight with No Facesharing. - John Mackey (Discret. Comput. Geom., 2002)

Improved upper and lower bounds on a geometric Ramsey problem. - Mikhail Lavrov; Mitchell Lee; John Mackey (Eur. J. Comb., 2014)

On the Number of 5-Cycles in a Tournament. - Natasha Komarov; John Mackey (J. Graph Theory, 2017)

The Resolution of Keller's Conjecture. - Joshua Brakensiek; Marijn Heule; John Mackey (CoRR, 2019)

Containment: A Variation of Cops and Robber. - Danny Crytser; Natasha Komarov; John Mackey (Graphs Comb., 2020)

The Resolution of Keller's Conjecture - Computation Logs. - Joshua Brakensiek; Marijn Heule; John Mackey; David E. Narváez (Zenodo, 2020)

Tighter Bounds on Directed Ramsey Number R(7). - David Neiman; John Mackey; Marijn Heule (Graphs Comb., 2022)

The Resolution of Keller's Conjecture. - Joshua Brakensiek; Marijn Heule; John Mackey; David E. Narváez (J. Autom. Reason., 2022)

Minimizing Pentagons in the Plane through Automated Reasoning. - Bernardo Subercaseaux; John Mackey; Marijn J. H. Heule; Ruben Martins (CoRR, 2023)

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. - Bernardo Subercaseaux; John Mackey; Marijn J. H. Heule; Ruben Martins (CICM, 2024)

Pentagon Minimization without Computation. - John Mackey; Bernardo Subercaseaux (CoRR, 2024)