Publications by John Mackey

2024 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14690:21-41
Subercaseaux B, Mackey J, Heule MJH, Martins R

2023
Subercaseaux B, Mackey J, Heule MJH, Martins R

2022 • Journal of Automated Reasoning • 66(3):277-300
Brakensiek J, Heule M, Mackey J, Narvaez D

2022 • Graphs and Combinatorics • 38(5):
Neiman D, Mackey J, Heule M

2020 • Graphs and Combinatorics • 36(3):591-605
Crytser D, Komarov N, Mackey J

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12166:48-65
Brakensiek J, Heule M, Mackey J, Narvaez D

2020
Neiman D, Mackey J, Heule M

2019
Brakensiek J, Heule M, Mackey J, Narváez D

2017 • Journal of Graph Theory • 86(3):341-356
Komarov N, Mackey J

2014 • European Journal of Combinatorics • 42:135-144
Lavrov M, Lee M, Mackey J

2002 • Discrete and Computational Geometry • 28(2):275-279
Mackey

1996 • Journal of Graph Theory • 21(3):323-326
Mackey J