Follow
John F. Mackey
John F. Mackey
Teaching Professor of Computer Science and Mathematics, Carnegie Mellon University
Verified email at andrew.cmu.edu
Title
Cited by
Cited by
Year
The resolution of Keller’s conjecture
J Brakensiek, M Heule, J Mackey, D Narváez
Journal of Automated Reasoning 66 (3), 277-300, 2022
632022
A cube tiling of dimension eight with no facesharing
Mackey
Discrete & Computational Geometry 28, 275-279, 2002
622002
Combinatorial remedies
JF Mackey
University of Hawai'i at Manoa, 1994
231994
On the Number of 5‐Cycles in a Tournament
N Komarov, J Mackey
Journal of Graph Theory 86 (3), 341-356, 2017
122017
Tighter Bounds on Directed Ramsey Number R(7)
D Neiman, J Mackey, M Heule
Graphs and Combinatorics 38 (5), 156, 2022
112022
A lower bound for groupies in graphs
J Mackey
Journal of Graph Theory 21 (3), 323-326, 1996
91996
Containment: a variation of cops and robber
D Crytser, N Komarov, J Mackey
Graphs and Combinatorics 36 (3), 591-605, 2020
62020
Containment: a variation of Cops and Robbers
N Komarov, J Mackey
Preprint, 2015
62015
Improved upper and lower bounds on a geometric Ramsey problem
M Lavrov, M Lee, J Mackey
European Journal of Combinatorics 42, 135-144, 2014
22014
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
12024
Minimizing Pentagons in the Plane through Automated Reasoning
B Subercaseaux, J Mackey, MJH Heule, R Martins
arXiv preprint arXiv:2311.03645, 2023
12023
Pentagon Minimization without Computation
J Mackey, B Subercaseaux
arXiv preprint arXiv:2409.17098, 2024
2024
Counting triangles in some Ramsey graphs
A Lin, J Mackey
2009
MaxSAT 2024 Benchmarks: Minimizing Pentagons in the Plane
B Subercaseaux, J Mackey, MJH Heule, R Martins
MaxSAT Evaluation 2024, 38, 0
Improving Directed Ramsey Numbers using SAT
D Neiman, M Heule, J Mackey
SAT COMPETITION 2020, 66, 0
The system can't perform the operation now. Try again later.
Articles 1–15