John Mackey

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 8

Top Topics

Upper And Lower Bounds

Marginal Probabilities

Consequence Finding

Top Venues

Publications

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. CICM (2024)
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
Minimizing Pentagons in the Plane through Automated Reasoning. CoRR (2023)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
The Resolution of Keller's Conjecture. J. Autom. Reason. 66 (3) (2022)
David Neiman, John Mackey, Marijn Heule
Tighter Bounds on Directed Ramsey Number R(7). Graphs Comb. 38 (5) (2022)
Danny Crytser, Natasha Komarov, John Mackey
Containment: A Variation of Cops and Robber. Graphs Comb. 36 (3) (2020)
Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez
The Resolution of Keller's Conjecture. IJCAR (1) (2020)
Joshua Brakensiek, Marijn Heule, John Mackey
The Resolution of Keller's Conjecture. CoRR (2019)
Natasha Komarov, John Mackey
On the Number of 5-Cycles in a Tournament. J. Graph Theory 86 (3) (2017)
Mikhail Lavrov, Mitchell Lee, John Mackey
Improved upper and lower bounds on a geometric Ramsey problem. Eur. J. Comb. 42 (2014)
John Mackey
A Cube Tiling of Dimension Eight with No Facesharing. Discret. Comput. Geom. 28 (2) (2002)
John Mackey
A lower bound for groupies in graphs. J. Graph Theory 21 (3) (1996)