John Mackey

According to our database, John Mackey authored at least 12 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Pentagon Minimization without Computation.

John Mackey, Bernardo Subercaseaux

CoRR, 2024

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Minimizing Pentagons in the Plane through Automated Reasoning.

Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins

CoRR, 2023

2022

The Resolution of Keller's Conjecture.

Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez

J. Autom. Reason., 2022

Tighter Bounds on Directed Ramsey Number R(7).

David Neiman, John Mackey, Marijn Heule

Graphs Comb., 2022

2020

The Resolution of Keller's Conjecture - Computation Logs.

Joshua Brakensiek, Marijn Heule, John Mackey, David E. Narváez

Dataset, April, 2020

Containment: A Variation of Cops and Robber.

Danny Crytser, Natasha Komarov, John Mackey

Graphs Comb., 2020

2019

The Resolution of Keller's Conjecture.

Joshua Brakensiek, Marijn Heule, John Mackey

CoRR, 2019

2017

On the Number of 5-Cycles in a Tournament.

Natasha Komarov, John Mackey

J. Graph Theory, 2017

2014

Improved upper and lower bounds on a geometric Ramsey problem.

Mikhail Lavrov, Mitchell Lee, John Mackey

Eur. J. Comb., 2014

2002

A Cube Tiling of Dimension Eight with No Facesharing.

John Mackey

Discret. Comput. Geom., 2002

1996

A lower bound for groupies in graphs.

John Mackey

J. Graph Theory, 1996