Seguir
John F. Mackey
John F. Mackey
Teaching Professor of Computer Science and Mathematics, Carnegie Mellon University
Email confirmado em andrew.cmu.edu
Título
Citado por
Citado por
Ano
A cube tiling of dimension eight with no facesharing
Mackey
Discrete & Computational Geometry 28, 275-279, 2002
592002
The resolution of Keller’s conjecture
J Brakensiek, M Heule, J Mackey, D Narváez
Journal of Automated Reasoning 66 (3), 277-300, 2022
462022
Combinatorial remedies
JF Mackey
University of Hawai'i at Manoa, 1994
221994
On the Number of 5‐Cycles in a Tournament
N Komarov, J Mackey
Journal of Graph Theory 86 (3), 341-356, 2017
102017
A lower bound for groupies in graphs
J Mackey
Journal of Graph Theory 21 (3), 323-326, 1996
91996
Tighter Bounds on Directed Ramsey Number R(7)
D Neiman, J Mackey, M Heule
Graphs and Combinatorics 38 (5), 156, 2022
62022
Containment: a variation of cops and robber
D Crytser, N Komarov, J Mackey
Graphs and Combinatorics 36 (3), 591-605, 2020
42020
Containment: a variation of Cops and Robbers
N Komarov, J Mackey
Preprint, 2015
42015
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
Minimizing Pentagons in the Plane through Automated Reasoning
B Subercaseaux, J Mackey, MJH Heule, R Martins
arXiv preprint arXiv:2311.03645, 2023
2023
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–12