| A cube tiling of dimension eight with no facesharing Mackey Discrete & Computational Geometry 28, 275-279, 2002 | 61 | 2002 |
| The resolution of Keller’s conjecture J Brakensiek, M Heule, J Mackey, D Narváez Journal of Automated Reasoning 66 (3), 277-300, 2022 | 54 | 2022 |
| Combinatorial remedies JF Mackey University of Hawai'i at Manoa, 1994 | 21 | 1994 |
| On the Number of 5‐Cycles in a Tournament N Komarov, J Mackey Journal of Graph Theory 86 (3), 341-356, 2017 | 12 | 2017 |
| A lower bound for groupies in graphs J Mackey Journal of Graph Theory 21 (3), 323-326, 1996 | 9 | 1996 |
| Tighter Bounds on Directed Ramsey Number R(7) D Neiman, J Mackey, M Heule Graphs and Combinatorics 38 (5), 156, 2022 | 8 | 2022 |
| Containment: a variation of Cops and Robbers N Komarov, J Mackey Preprint, 2015 | 6 | 2015 |
| Containment: a variation of cops and robber D Crytser, N Komarov, J Mackey Graphs and Combinatorics 36 (3), 591-605, 2020 | 4 | 2020 |
| Improved upper and lower bounds on a geometric Ramsey problem M Lavrov, M Lee, J Mackey European Journal of Combinatorics 42, 135-144, 2014 | 2 | 2014 |
| Minimizing Pentagons in the Plane through Automated Reasoning B Subercaseaux, J Mackey, MJH Heule, R Martins arXiv preprint arXiv:2311.03645, 2023 | 1 | 2023 |
| Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane B Subercaseaux, J Mackey, MJH Heule, R Martins International Conference on Intelligent Computer Mathematics, 21-41, 2024 | | 2024 |
| Counting triangles in some Ramsey graphs A Lin, J Mackey | | 2009 |
| Improving Directed Ramsey Numbers using SAT D Neiman, M Heule, J Mackey SAT COMPETITION 2020, 66, 0 | | |
