Publications by John Mackey

2027 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 16584:601-610
Chen E, Judicke S, Beigh K, Tang X, Wang Y, Yuan M, Xiao Z, Li C, Li S, Luttmer R, Singh S, Yampolsky M, Parikh N, Zhao Y, Chen M, Huang C, Mohanty A, Johnson G, Mackey J, Lin J, Koedinger K

2026
Przybocki B, Mackey J, Heule MJH, Subercaseaux B

2026 • Leibniz International Proceedings in Informatics • 366:
Quan J, Kim N, Subercaseaux B, Mackey J

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

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

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

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

2022
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

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